@DemocracyMattersALot place and feature names on maps are usually the officially recognized names. Trump passed a law, as moronic as it is, and now we have a new name that these companies use. My map company does the same thing.
Not defending Trump, just explaining how maps are made.
He issued an Executive Order, which doesn’t have a same weight as law—Congress never voted on it.
@DemocracyMattersALot @silent_john executive orders are instructions from the chief executive to the rest of the executive branch as to how to go about implementing the laws passed by Congress; they’re not only not laws, they don’t apply to anyone outside the executive branch at all.
IIRC private companies started making the change because various departments promised retaliation if they didn’t, starting with revoking any government access. They’re giving in to criminal bullying
Democracy Matters 
John
ShadSterling