2 and 3 are not really viable and Google already had a policy in place for disputed territories. For example look at Kashmir, it gets rendered differently if you are in India vs Pakistan, so I mean Google employees just shrug and implement the same thing. If America wants to have a temper tantrum and call it the Gulf of America, like fine whatever, it’s stupid, just mark it in the system as such and move on.

Google has far more serious topics that its employees should strike, and have struck over.