Maybe not gulf of Mexico as it will be loosing the battle over the real gulf of mexico...but...Gulf of The United Mexican States / Estados Unidos Mexicanos. as it's their official name I belive.🤣