The Associated Press has weighed in on how it will respond to President Donald Trump’s executive order changing the name of the Gulf of Mexico to the Gulf of America, and the name of Alaska’s Denali back to Mount McKinley.

As part of a torrent of decisions he issued hours after taking office, President Donald 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.