<human>: Question: Who is the Mayor of Miami?

Is The City of Miami is governed by Mayor Tomás Regalado and 5 City commissioners which oversee the five districts in the City. a good answer to this question?

OPTIONS:
- yes
- no
<bot>: yes