[Rural_Michigan]

Unless, of course, the name change is from Gulf of Mexico to Gulf of America

[laplata]

I’ll still call it Gulf of Mexico out of habit.

This is no big deal and most people will still call it Gulf of Mexico.