COLUMBUS (WCMH)–Columbus Police say they have arrested a 19-year-old who was involved in a robbery that occurred right before an officer shot and killed 13-year-old Tyre King.

Officers arrested Demetrius Emanuel Lee Braxton on one count of robbery, a felony of the second degree.

Police say investigators are still looking for other individuals who might have been with Braxton during the time of the robbery. Investigators believe those individuals may have information that will help piece together the events prior to when King was shot.

Police said in a statement that King “pulled a gun from his waistband” when officers attempted to take him and another person into custody Wednesday night after a reported robbery near the corner of South 18th Street and East Capital Street. Officer Bryan Mason reportedly shot King several times, and King died at Nationwide Children’s Hospital at 8:22 p.m. Wednesday.

The gun was reportedly a BB gun with an attached laser sight.

The full release on Braxton’s arrest is below: