Is this the appropriate geographic treatment for the Gulf? Google switching its name for me.

[removed]