The federal government has since formally implemented the directive to rename both. The Gulf of Mexico change is new, but naming the nation’s highest peak has been a matter of debate for years.

WASHINGTON, Jan 27 (Reuters) - Google Maps will change the name of "Gulf of Mexico" to "Gulf of America" once it is officially updated in the U.S. Geographic Names System, Google said in an X post ...