Question: Who was in charge of the city to which WOFX-FM is licensed to broadcast?

full_context: Document 1: WDJO: WDJO is an AM radio station in Cincinnati, Ohio that airs an oldies format. The station is the Cincinnati affiliate for the Ohio State IMG Sports Network. Oldies 1480 (as it is branded) is owned by Robert T. Nolan, through licensee Mustang Media, Inc. The station operates at 4,500 watts during the day and 300 watts at night.
Document 2: WMOS: WMOS (102.3 FM, "102.3 The Wolf") is a classic rock radio station that targets the Connecticut and Rhode Island coastlines from New London, Connecticut to South Kingstown, Rhode Island (according to Radio-Locator) and it is licensed to Stonington, Connecticut. It broadcasts at 102.3 MHz with 3 kilowatts ERP from a tower located in Westerly, Rhode Island. The station is owned and operated by Cumulus Media and is "powered by Mohegan Sun," the casino in Uncasville. The Mohegan Sun casino also hosts the station's studios.
Document 3: New York City Council: The head of the City Council is called the Speaker. The current Speaker is Corey Johnson, a Democrat. The Speaker sets the agenda and presides at meetings of the City Council. Proposed legislation is submitted through the Speaker's Office. There are 47 Democratic council members led by Majority Leader Jimmy Van Bramer. The three Republican council members are led by Minority Leader Steven Matteo. There is one vacancy.
Document 4: Ann Arbor, Michigan: Ann Arbor has a council-manager form of government. The City Council has 11 voting members: the mayor and 10 city council members. The mayor and city council members serve two-year terms: the mayor is elected every even-numbered year, while half of the city council members are up for election annually (five in even-numbered and five in odd-numbered years). Two council members are elected from each of the city's five wards. The mayor is elected citywide. The mayor is the presiding officer of the City Council and has the power to appoint all Council committee members as well as board and commission members, with the approval of the City Council. The current mayor of Ann Arbor is Christopher Taylor, a Democrat who was elected as mayor in 2014. Day-to-day city operations are managed by a city administrator chosen by the city council.
Document 5: WCOS-FM: WCOS-FM is a Country music radio station licensed to Columbia, South Carolina and serves the Columbia, South Carolina market. The iHeartMedia, Inc. outlet is licensed by the Federal Communications Commission (FCC) to broadcast at 97.5 MHz with an effective radiated power (ERP) of 100,000 watts. The station goes by the name 975 WCOS and its current slogan is "Today's Best Country and Your All-Time Favorites." Its studios are in Columbia (west of the Congaree River) and the transmitter is north of the city.
Document 6: WOFX-FM: WOFX-FM (92.5 FM) is an American radio station in Cincinnati, Ohio. The station plays a classic rock format. The station is owned and operated by Cumulus Media. It broadcasts with an effective radiated power of 16,000 watts. It was the FM flagship station of the Cincinnati Bengals through the 2008 preseason
Document 7: WBFX: WBFX (101.3 FM, "The Brew") is a radio station broadcasting a mainstream rock format, serving the Grand Rapids, Michigan market and owned and operated by iHeartMedia. WBFX is also an affiliate of the Western Michigan Broncos Radio Network.
Document 8: WXKR: WXKR (94.5 FM) is a radio station in Port Clinton, Ohio, broadcasting on 94.5 MHz with a classic rock format. The station is known as 94.5 XKR, Toledo's New #1 For Rock. It is owned by Cumulus Media. The station's studios are located in Toledo, and its transmitter is located west of Oak Harbor, Ohio.
Document 9: KRXQ: KRXQ is a commercial radio station in Sacramento, California, broadcasting on 98.5 FM. The station airs a Mainstream Rock music format branded as "98 Rock". The station is owned by Entercom Communications. Its studios are located in North Highlands (with a Sacramento address) and its transmitter is in Folsom.
Document 10: Southampton: The city has a Mayor and is one of the 16 cities and towns in England and Wales to have a ceremonial sheriff who acts as a deputy for the Mayor. The current and 793rd Mayor of Southampton is Linda Norris. Catherine McEwing is the current and 578th sherriff. The town crier from 2004 until his death in 2014 was John Melody, who acted as master of ceremonies in the city and who possessed a cry of 104 decibels.
Document 11: Oklahoma City: The City of Oklahoma City has operated under a council-manager form of city government since 1927. Mick Cornett serves as Mayor, having first been elected in 2004, and re-elected in 2006, 2010, and 2014. Eight councilpersons represent each of the eight wards of Oklahoma City. City Manager Jim Couch was appointed in late 2000. Couch previously served as assistant city manager, Metropolitan Area Projects Plan (MAPS) director and utilities director prior to his service as city manager.
Document 12: 2017 Cincinnati mayoral election: The 2017 Cincinnati mayoral election took place on November 7, 2017, to elect the Mayor of Cincinnati, Ohio. The election was officially nonpartisan, with the top two candidates from the May 2 primary election advancing to the general election, regardless of party. Incumbent Democratic Mayor John Cranley won re-election to a second term.
Document 13: WBUK: WBUK (106.3 FM) — branded 106.3 The Fox — is a commercial classic rock radio station licensed to Ottawa, Ohio. Owned by the Findlay Publishing Company through licensee Blanchard River Broadcasting, the station serves the Northwest Ohio counties of Putnam, Hancock, and Allen. The WBUK studios are located in the city of Findlay, while the station transmitter resides near the village of Pandora.
Document 14: Houston: The city of Houston has a strong mayoral form of municipal government. Houston is a home rule city and all municipal elections in the state of Texas are nonpartisan. The City's elected officials are the mayor, city controller and 16 members of the Houston City Council. The current mayor of Houston is Sylvester Turner, a Democrat elected on a nonpartisan ballot. Houston's mayor serves as the city's chief administrator, executive officer, and official representative, and is responsible for the general management of the city and for seeing that all laws and ordinances are enforced.
Document 15: Cincinnati: The present Mayor of Cincinnati is John Cranley. The nine-member city council is composed of Vice Mayor Christopher Smitherman and Councilmembers Tamaya Dennard (President Pro-Tem), David Mann, Amy Murray, Chris Seelbach, P.G. Sittenfeld, Greg Landsman, Jeff Pastor, and Wendell Young. The city manager is Harry Black, and the manager maintains two assistant city managers.
ground_truth: John Cranley
sub_queries: WOFX-FM >> licensed to broadcast to Answer: Cincinnati
Who was in charge of Cincinnati ? Answer: John Cranley