It controversially updated the Gulf’s name for US users after President Trump ordered it to be changed.