Question: Who is the current mayor of the city where the Gulf Coast League Royals played?
Sentence (from "Gulf Coast League Royals"): The Gulf Coast League (GCL) Royals were a minor league baseball franchise in the Rookie-level Gulf Coast League from 1971–1978, 1982-1983 and 1985–2002.
Relevant evidence: No