President Trump ordered the renaming of the Gulf of Mexico to the Gulf of America - and Google will reflect that when the government does.