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.

The name “Gulf of Mexico" came nearly 300 years before Mexico — which lays claim to most of the gulf — became an independent country, and it has appeared on maps for centuries.