I want to know the answer to the following question:
What part of Coconut Grove houses the city hall of Miami?
All the background I'm provided with is that "Coconut Grove was established in 1825 and is the location of Miami's City Hall in Dinner Key, the Coconut Grove Playhouse, CocoWalk, many nightclubs, bars, restaurants and bohemian shops, and as such, is very popular with local college students.". Is that enough to answer the question?
Answer: yes