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.
Liberals put up the fiercest fights for the things of least consequence.