The D.C. Council voted this year to increase the 3,800-member police force by 450 officers, but Mayor Anthony Williams said Tuesday that might not be enough.

“I think it may be north of the number that’s currently on the books,” Williams said. “We might have to go back up to the 5,100 we had before. We’re a state police; we’re a county police. We have federal responsibilities, and we’re in an urban city with a lot of responsibilities as well.”