It was a treaty that they did back back back in the days. I believe the treaty was that they couldn't rename locations or something like that. And then Mexico started renaming places and Trump was like, okay, fuck that we're gonna rename the whole Gulf