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.

For U.S. Google Map users only, the body of water formerly known as the Gulf of Mexico will now appear as the Gulf of America when using the navigational service. The change comes just several weeks after President Donald Trump signed an executive order for the gulf to be renamed and on Sunday declared February 9 was officially Gulf of America Day.

Google Maps updated its map Monday to show the Gulf of Mexico as the Gulf of America for users in the United States. The change came after the name was updated in the Geographic Names Information System database, which Google Maps previously said it follows for naming conventions in the U.S.