As of Wednesday night, map applications for Google and Apple still called the mountain and the gulf by their old names.

For years, as disputes over names on the map riled up nationalist passions in several parts of the world, US policymakers ...