Google Maps now shows the “Gulf of America” in place of the “Gulf of Mexico” for users on both web and mobile in the United States. It made the change after the Trump administration formally changed the name today of the body of water spanning between the eastern coast of Mexico and Florida.

Google Maps officially updated the name of the Gulf of Mexico to the Gulf of America on Monday. Among many other executive orders, President Donald Trump

The Gulf of Mexico will now appear as the Gulf of America for users of both Apple (AAPL) Maps and Google (GOOGL) Maps in the U.S., following an executive order from the Trump administration to rename the body of water.