resolves yes if the name is gulf of mexico and not gulf of america or any other variation
i will be checking from nyc at a random time on that day (later in the afternoon) and checking from usa ip
1,000
@SaiVazquez deep state geologists preventing the change in the database Google stated it would follow
@skibidist Wouldn’t that be the case for YES? NO in this market means that Google Maps does change “Gulf of Mexico” to “Gulf of America” by the end of February.
The case for NO is that Google has stated they will make the change once GNIS updates, and the executive order mandates the latter must happen within 30 days (i.e. before Feb 19). There would have to be some holdup or resistance for this not to happen – which I think is totally possible, fwiw.
Equivalent Polymarket market - https://polymarket.com/event/google-maps-renames-gulf-of-america-before-march
Looks like there is a big gap between the bets in both
I bet YES despite the headlines, because what Google ACTUALLY said is that they will follow guidance from the Geographic Names Information System, which is a non-answer. Of course they will, they always have.
So this question is actually, will the name change propagate to GNIS by the end of February?
Unless the President finds some way around them, this would happen some time after the Foreign Names committee of the US Board of Geographic Names meets to approve the change... and they have really no incentive to rush, if they make this change at all. Per this article:
There are major roadblocks to renaming the Gulf of Mexico, according to Leo Dillon, the former chair of the Foreign Names Committee. He said that the committee’s procedures allow only one name for high seas, and it usually reflects the most commonly used name.
I am not yet convinced the administration has gotten any better at going up against librarians 🤷.
