What should the city do about the police headquarters?