Users outside the United States will see both the name Gulf of America and the name ... provides the names used in Google Maps. Mount Denali in Alaska is also getting a name change.

President Donald Trump signed an executive order last week requiring the federal government to change the name of the Gulf of Mexico to the Gulf of America on official maps, a move that could take ...