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,

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 has officially renamed the Gulf of Mexico for US users.