As part of a torrent of decisions he issued this week hours after taking office, President Trump declared that the name of America’s tallest mountain be changed from Denali to Mount McKinley, and that the Gulf of Mexico be renamed “The Gulf of America.”

In 2015, the name of the peak was changed during the Obama administration to reflect the traditions of Alaska Natives and preference of many Alaskans.

The president wants to honor a predecessor, William McKinley, by returning his name to North America’s highest peak. The state’s senators prefer the Native name.