I want to know the answer to the following question:
Who is the Mayor of Miami?
All the background I'm provided with is that "The City of Miami is governed by Mayor Tomás Regalado and 5 City commissioners which oversee the five districts in the City.". Is that enough to answer the question?
Answer: yes