I actually laughed when I heard the man-child was going to sign an executive order changing the name.

The only place this matters is inside the USA or those using Google or Apple Maps as they are government suckups.

OSM still has the correct name for the Gulf of Mexico so I don't see them changing Lake Ontario.