Google has begun calling the Gulf of Mexico the Gulf of America following United States President Donald Trump’s executive order renaming the body of water. The California-based internet giant said on Monday that the name of the gulf on its applications would depend on the location of the user.

Google stated that its policy is to update names on its maps when they have been officially changed by government sources. However, users in Mexico will still see the name Gulf of Mexico, while users elsewhere will see both names displayed.