Question: Who serves as mayor in the city where KRMP broadcasts from?

full_context: Document 1: Auckland: In October 2010, Manukau City mayor Len Brown was elected mayor of the amalgamated Auckland Council. He was re-elected for a second term in October 2013. Brown did not stand for re-election in the 2016 mayoral election, and was succeeded by successful candidate Phil Goff in October 2016. Twenty councillors make up the remainder of the Auckland Council governing body, elected from thirteen electoral wards.
Document 2: 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 3: KXXY-FM: KXXY-FM (96.1 FM, "96.1 KXY") is a country music formatted radio station serving the Oklahoma City area and is owned by iHeartMedia, Inc.. KXY was the flagship station of the Oklahoma City Barons hockey team before they left Oklahoma City. Its transmitter is located in Northeast Oklahoma City, and studios are located at the 50 Penn Place building on the Northwest side.
Document 4: KPKR: KPKR (95.7 FM, "95.7 Jack FM") is an American radio station licensed to serve the community of Parker, Arizona. The station, established in 2008, is currently owned by River Rat Radio, LLC. It broadcasts a variety hits music format to the greater Lake Havasu City, Arizona, area.
Document 5: KKDA-FM: KKDA-FM, known as K104, has been a leading radio station in the Dallas–Fort Worth metroplex for 46 years. It is a longtime heritage Urban Contemporary formatted station that broadcasts on 104.5 MHz. It is owned by Service Broadcasting Corporation alongside KRNB and its former AM counterpart KKDA AM. Its studios are located in Arlington, Texas, and the transmitter site is in Cedar Hill.
Document 6: KIPR: KIPR (92.3 FM, "Power 92 Jams") is a commercial radio station carrying an urban contemporary format located in Little Rock, Arkansas and licensed to Pine Bluff. It is owned by Cumulus Media. The station's studios are located in West Little Rock, and the transmitter tower is located in Jefferson, south of Pine Bluff. Due to the transmitter location emitting 100 kilowatts, the signal covers most of Central Arkansas including places like Brinkley, North Little Rock, Gould, Fordyce and Dumas.
Document 7: KGTO: KGTO (1050 AM, "Heart & Soul 99.1 & 1050") is a radio station licensed to serve Tulsa, Oklahoma. The station is owned by Perry Publishing and Broadcasting and licensed to KJMM, Inc. It airs an Urban Adult Contemporary music format. Its studios are located in the Copper Oaks complex in South Tulsa.
Document 8: Tampere: In 2007, Tampere switched to a new model of government. Since then, a mayor and four deputy mayors have been chosen for a period of two years by the city council. The mayor also becomes the seat of the city council for the duration of the tenure.
Document 9: Oklahoma City: Oklahoma City was home to several pioneers in radio and television broadcasting. Oklahoma City's WKY Radio was the first radio station transmitting west of the Mississippi River and the third radio station in the United States. WKY received its federal license in 1921 and has continually broadcast under the same call letters since 1922. In 1928, WKY was purchased by E.K. Gaylord's Oklahoma Publishing Company and affiliated with the NBC Red Network; in 1949, WKY-TV (channel 4) went on the air and later became the first independently owned television station in the U.S. to broadcast in color. In mid-2002, WKY radio was purchased outright by Citadel Broadcasting, who was bought out by Cumulus Broadcasting in 2011. The Gaylord family earlier sold WKY-TV in 1976, which has gone through a succession of owners (what is now KFOR-TV is currently owned by Tribune Broadcasting as of December 2013).
Document 10: Oklahoma: The state is divided into 77 counties that govern locally, each headed by a three-member council of elected commissioners, a tax assessor, clerk, court clerk, treasurer, and sheriff. While each municipality operates as a separate and independent local government with executive, legislative and judicial power, county governments maintain jurisdiction over both incorporated cities and non-incorporated areas within their boundaries, but have executive power but no legislative or judicial power. Both county and municipal governments collect taxes, employ a separate police force, hold elections, and operate emergency response services within their jurisdiction. Other local government units include school districts, technology center districts, community college districts, rural fire departments, rural water districts, and other special use districts.
Document 11: Mick Cornett: Michael Earl Cornett Sr. (born July 16, 1958) is an American politician and former television personality who served as the 35th mayor of Oklahoma City, from 2005 until 2018. A member of the Republican Party, he was only the fourth mayor in Oklahoma City history to be elected to three terms and the first to be elected to four terms. He also served as President of the United States Conference of Mayors and as national President of the Republican Mayors and Local Officials (RMLO). He also served as Chairman of the U.S. Conference of Mayors Urban Economic Affairs Committee until 2007. In 2018, he was defeated in the Republican runoff by Tulsa businessman Kevin Stitt for GOP nomination for Governor of Oklahoma. In 2006, Cornett was defeated by Mary Fallin for the Republican runoff for U.S. Congress.
Document 12: 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 13: WKY: WKY (930 AM) is a radio station located in Oklahoma City and is under ownership of Cumulus Media. Its studios are in Northwest Oklahoma City, and the transmitter and 1 tower are located on E. Britton Road in Oklahoma City.
Document 14: Philadelphia: The city uses the strong-mayor version of the mayor-council form of government, which is headed by one mayor, in whom executive authority is vested. Elected at-large, the mayor is limited to two consecutive four-year terms under the city's home rule charter, but can run for the position again after an intervening term. The Mayor is Jim Kenney, who replaced Michael Nutter, who served two terms from 2009 to January 2016. Kenney, as all Philadelphia mayors have been since 1952, is a member of the Democratic Party, which tends to dominate local politics so thoroughly that the Democratic Mayoral primary is often more widely covered than the general election. The legislative branch, the Philadelphia City Council, consists of ten council members representing individual districts and seven members elected at large. Democrats currently hold 14 seats, with Republicans representing two allotted at-large seats for the minority party, as well as the Northeast-based Tenth District. The current council president is Darrell Clarke.
Document 15: KRMP: KRMP (1140 AM) is an urban adult contemporary radio station in Oklahoma City, Oklahoma. The station is owned by The Perry Broadcasting Company. The station's studios are located at Perry Plaza II in the Eastside district of Northeast Oklahoma City, and the transmitter site is in the Southeast side of the city.
ground_truth: Mick Cornett
sub_queries: What city is KRMP located? Answer: Oklahoma City
Who is the mayor of Oklahoma City ? Answer: Mick Cornett