The "Gulf of Mexico" shall remain "The Gulf of Mexico" but may be unofficially referred to as "The Gulf of The Idiot Trump". No costs shall be incurred implementing this change. That would be a waste of money comparable to paying to allow The Idiot Trump travel to Mar-a-Lago to cheat at golf.