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 decreed on the day of his inauguration that the Gulf of Mexico would be renamed the Gulf of America.

Google Maps users in the U.S. will now see “Gulf of America” displayed over the body of water that was once labeled, “Gulf of Mexico.” Users in Mexico will still see the name, “Gulf of Mexico,”