Google Maps updates the Gulf of Mexico’s name to Gulf of America for U.S. users, following a government directive.

Google says it will take its cue from the US government and also change the name of America’s highest peak on its maps.

The change will likely only be visible to users based in the United States. As part of what it described as a longstanding ...