President Donald Trump wants to rename Denali and the Gulf of Mexico to Mount McKinley and Gulf of America, and Google said it would update its maps if it happens.

One of President Donald Trump’s first executive actions upon reentering the White House was to reestablish its most famous mountain as McKinley’s namesake.

Following the president's order, the Gulf of Mexico will henceforth be referred to as the Gulf of America, and North America's tallest mountain will revert to Mount McKinley. As stated in the Department of the Interior’s press release,

This comes after President Trump signed an executive order on Inauguration Day that ordered the name Mt. McKinley be reinstated and the Gulf of Mexico be renamed.

The company said Monday that it will only make changes when the government updates its official listings for the body of water and the mountain.

Innisfree McKinnon is an associate professor of geography at the University of Wisconsin-Stout. A geographer explains how maps’ place names, such as the Gulf of Mexico and Denali, are decided Learn and share the most exciting discoveries, innovations and ideas shaping our world today.

The U.S. government is already working to remove all mentions of the Gulf of Mexico name in the Geographic Names Information System (GNIS).

News4JAX is following Associated Press style guidelines regarding the name changes and will refer to North America’s tallest peak as Mt. McKinley. According to AP, the area lies on U.S. soil, and as president,

The tech company said Monday it has a “longstanding practice of applying name changes when they have been updated in official government sources.”

Google is complying with President Donald Trump’s executive action that renamed the Gulf of Mexico to the Gulf of America. Soon, the name change will appear