After Donald Trump’s executive order demanding the name change, Google is the first major online maps provider to flip the switch.