The city is governed by a mayor and a 9-member city council. In what year did the city vote to change to a strong mayor government?