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