the double punishment of cruise employees