Google renames 'Gulf of Mexico' to 'Gulf of America' for US users, but was the waterbody named after Mexico?
Soon after taking the oath of office, President Trump had last month signed an executive order changing the name of the Gulf ...