The state of Alaska requested the name change in 1975, but the Board on Geographic Names didn’t take action. Members of the Ohio congressional delegation – President William McKinley was from Ohio – objected over many years to requests to rename the mountain, and the board did not act on those requests.

The executive order will direct the secretary of the interior to change the name to "Gulf of America” for use on official maps and throughout the federal government, according to the New York Post, which first reported the news. Trump has nominated Republican North Dakota Gov. Doug Burgum to the Department of Interior.

The change will only be visible to U.S. users. Those in Mexico will still see “Gulf of Mexico,” while those in the rest of the world will see both names on the map.