Mayor of Boca Raton, Florida — political office in the United States