Yeah - I was just pointing out to the USians that it’s only changing in their country. The rest of the world will keep the original name.

Still showing “Gulf of Mexico” on Apple Maps for me as of three seconds ago. I’m not in the US.

Do USian school children still talk to that bit of fabric every morning - or is that a myth? From an outsider’s perspective I always put the US just below, uh, post-Weimar republic Germany in the excessive flag club chart placings. Always seemed excessively jingoistic.

Best of luck with your country…

-9 (minus nine) kind of works if we’re getting desperate.