Talk:Campo Seta Dockyards/@comment-1500935-20170924085820/@comment-732225-20190226105729

In conclusion to this discussion, shouldn't we call the area "Northern Campo Seta" instead of "Northern Campo Seta District"? While there are notes that refer to a "Dockyard District", I think there are none that mentions "Northern Campo Seta District".