Google previously acknowledged Mr. Trump's executive order would affect what U.S. users see in their Maps applications but said the company would take its cue from the Board on Geographic Names ...