Most of the major map providers changed the name. MapQuest had a different idea. Enter whatever you want and download. (Their standard map still reads the Gulf of Mexico.)
Gulf of wherever you want

Most of the major map providers changed the name. MapQuest had a different idea. Enter whatever you want and download. (Their standard map still reads the Gulf of Mexico.)