resolves yes if the name is not gulf of America for a solid week, for English users in the USA, on Google maps. As of claim creation the name the has changed to say gulf of America". It doesn't have to be exactly 100% of users but it has to be nearly all with no excluded regions, etc. although maybe some ab testers can have the old version.
Basically we'll wait til the recent change to "Gulf of America" is no longer the state of things, clearly
1,000I'm curious about this. Is it really called "the gulf of America" now? Like, obviously trump is calling it that and presumably his supporters are. But would somebody who's not a trump supporter call it that?
What does it mean for something to be called something? For me (outside America) the whims of a single head of state mean nothing. I think the main thing is what people call it, but maybe historical context comes into it too...
@Fion believe this market refers to the appearance on something like Google Maps, as i think 'users' is referencing 'users' of google maps or something like that.
as for your question, no, the vast majority of people still call it the golf of mexico, as they did X 'Twitter'. but even unwelcome changes receive pressure from external official channels over time. Many more common people have adopted calling it X since news media felt compelled to called it 'X (formerly Twitter)' everywhere
@No_uh ah, ok. That makes sense.
I think there are important differences with the X analogy, though. X is actually a thing owned by Musk. It has branding and stuff. It is an interesting case - I think it sort of straddles the boundary between "this is my thing and I'll call it what I like" and "this is part of the world and I guess it's called whatever people call it", given how high twitter's status as a platform was. But in that case, clearly the former is winning.
But the Gulf of Mexico seems clearly on the "this is part of the world" side of things.