That’s because Google is not only a shit company, it’s also in Trump’s pocket. They changed the name of the Gulf of Mexico for US users. WTF?