Hahaha, how was your night? Got a lot of booze?🤣🤣🤣.
Mate, EVERY document, which shoes "Gulf of Mexico" would have to be changed. And that internationally. Only after this procedure (will never happen) the gulf's name will be changed to "Gulf of America" officially. So lay down and relax, crying dick.