Comment by rtkwe

That seems to be the pattern, US visitors get only the stupid new name while visitors outside the US get the Old Name (New/US Name). It's consistent across Gulf of Mexico and Lake Ontario.