That big body of water to the state's left is officially the Gulf of America in Florida now that Gov. Ron DeSantis has ...

an ocean basin that shares nearly equal lengths of shoreline with the U.S. and Mexico, reads: "The Gulf of America, formerly known as the Gulf of Mexico, with an average depth 5300 ft is a major ...