The Gulf of Mexico, a 218,000-square-mile oceanic basin, has been named as such for at least 400 years by European explorers and mapmakers. It spans the eastern coast of Mexico, the southeastern U.S., and the western end of Cuba, connecting to the Caribbean Sea and the Atlantic Ocean.

After President Donald Trump issued an executive order to change the name of the Gulf of Mexico to the Gulf of America, Florida Gov. Ron DeSantis quickly jumped on the idea. But actually making

Google says it will take its cue from the U.S. government if it has to change the names of the Gulf of Mexico and Denali on its Maps service