For users of Google Maps in the United States, the body of water enclosed to the east by Florida and the Yucatan peninsula is now the Gulf of America.

Google on Monday changed the name of the Gulf of Mexico to "Gulf of America" for those using its Maps platform inside the United States, complying with an executive order by President Donald Trump. The tech giant wrote in a blog post that users outside the United States will continue to see both the original and new name for the Gulf of Mexico,