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.)

Read at FlowingData