"When that happens, we will update Google Maps in the U.S. quickly to show Mount McKinley and Gulf of America. "Also longstanding practice: When official names vary between countries, Maps users ...