Google has no decision to make here. They have a policy and system that aligns geographical names based on country records. The rest of the world will continue to see Gulf of Mexico and Lake Ontario. Those are not the only two conflicted names across the world, there are far more.