Question: What U.S. city has the official website of http://www.cityhall.lima.oh.us/index.asp (the language of this statement is English) and a population greater than 8400?
Options:
Boulder
Waukegan
Oakland
Franklin
Lima
Compton
Fort Collins
New Haven
Sandusky
Austin