Hmm, right. This makes it somewhat more complicated. If this new name starts being used by many people and organizations, I suppose it would make sense to create a new place=sea boundary=maritime, but until then it'd be kind of stupid to pollute the map with a new entity just because it's in the official records.