Question: Who is the current mayor of the city where the Gulf Coast League Royals played?
Sentence (from "Davenport, Florida"): The population was 2,888 at the 2010 census.
Relevant evidence: No