Bing Maps still shows "Gulf of Mexico" rather than "Gulf of Mexico," which appears on Google Maps and Apple Maps.

Google was the first to adopt the change from "Gulf of Mexico" after an executive order from the president instructed U.S.