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.