The Geographic Names Information System database changed the name of the Gulf of Mexico to the Gulf of America earlier this week. It came after President Donald Trump's executive order on his first day in office calling for the change and the Department of the Interior's adoption of the new name last month.

The system's new description for the Gulf, an ocean basin that shares nearly equal lengths of shoreline with the U.S. and Mexico, reads: "The Gulf of America, formerly known as th