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