Gov. Ron DeSantis may have been the first official to use President's Trump's new name for the Gulf of Mexico in an official ...
More than half of Florida's coast borders the Gulf of Mexico, a partially landlocked body of water between the United ... The Gulf has an average depth of 5,300 feet. The Gulf mainland shore ...