Retired U.S. Marshal named new Coral Gables city manager by divided commission voteThe Coral Gables City Commission voted 3-2 to hire Amos Rojas Jr. as the new city manager amid divided opinions.Rojas aims to navigate the city out of public corruption and turmoil, with Menendez supporting his appointment.