Shoutout to MapQuest, which lets you rename the gulf to whatever you want! (No one else sees this unless you send it to them):

https://gulfof.mapquest.com/