Mayor of Ocala, Florida — political office in the United States