Employees at the federal Board on Geographic Names have formally changed the name to the Gulf of America per one of President Donald Trump’s first executive orders. The change doesn’t affect what other countries call it, and Mexico’s president has promised to ignore the order and asked others to do the same.
-Trevor Hughes writing for USA Today, Feb. 11
Call it whatever the hell you want.
It’s still the Gulf of Mexico.
And if you can ‘change’ the name that easily, it going to be ‘changed’ right back to Gulf of Mexico in 2028. 
P.S. The name “Gulf of Mexico” (Spanish: golfo de México; French: golphe du Mexique, later golfe du Mexique) first appeared on a world map in 1550 and a historical account in 1552. [Wikipedia]
