U.S. CITIES: This Florida city was named for the general who led the fight to take Florida from the Spanish