The Miami mayor is a Republican and formerly he was Chief of the Miami Fire Department.
O.K. My bad. I did, honestly, make a wrong assumption about the government leadership in Miami-Dade. However, while you say that the GOPer is mayor of Miami, or is he the head of Miami-Dade county?