Small modifications to seaBattle, updated getters in several places

Any references to port.name that should've been getters instead were
fixed in this commit.