mariner [pl. mariners]