The city is governed by a mayor and a 9-member city council. What is the number of members on the city's council?