b) el personal de maestranza y demás gente de mar.