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