AussieDJ said:

Google will be rapt!

No more wasting virtual printer’s ink on having dual names for the Gulf of Mexico and Lake Ontario!

Maybe they’ll still be stuck with it. Depends on whether or not they still want to suck up to Trump, which is why the went along with it at all.

The stupid ‘name changes’ arise from Trump’s dog-and-pony-show Executive Orders.

The authority of such orders extends over only those people and roles in the Executive Branch of the US govt. No-one else, including Google, is obliged to obey.

Unless they still give a shit about what Trump thinks.