An interweb pal suggested the perfectly stupid name 7-11’s Big Gulf as a substitute for the real life and even more stupid renaming (for Americans) of the Gulf of Mexico to the Gulf of America.
Because I am easily amused, I created this as it might look in the web version of Apple Maps:

Thank you and good night.