You must log in or register to comment.
“Is Pluto a planet?” problem, I suppose. I doubt that there is a precise, strict definition, so those seas are called that because “it happened this way historically” and there is no real need to change that.
It changes nothing that’s why avoid anyone bring “about Pluto” discussions it’s a waste of time.
It might be more difficult in the case of seas. There may be some international norms on where the borders should be. So sea vs. gulf might bring real problems with it. Nobody wants that (except for Putin-Trump crazies)
But I’m not a specialist. Maybe it won’t change anything.