The body of water formerly known in the United States as the Gulf of Mexico is now listed for US-based users of Google Maps as the Gulf of America.

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

Google is among the first companies to change the Gulf of Mexico to Gulf of America on its maps. Other sources for online maps have not yet followed Donald Trump's executive order.