Google said Monday its maps will use names for Denali and the Gulf of Mexico favored by President Donald Trump — Mount McKinley and Gulf of America — when federal maps make the switch.

Following Trump's inauguration on Monday, Florida Gov. Ron DeSantis issued an executive order on winter weather in the state that already refers to the Gulf as the "Gulf of America."

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.