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

Google has begun calling the Gulf of Mexico the Gulf of America following United States President Donald Trump’s executive ...