As part of a torrent of decisions he issued this week 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.

However, Trump's order only applies to the U.S. government's official position. Though headquartered in the U.S., corporations such as Google and Apple aren't beholden to the president's directive to rename the landmarks, raising questions as to whether they'll update their popular map services to reflect the government's stance.

The tallest peak in North America has been named Denali since 2015 when its name was officially changed under former President Barack Obama.