U.S. CITIES: It's the seat of the Florida county formerly known as Dade