Mayor of Miami, Florida — public office in Florida, USA