dockholiday Time off for harbor workers? A day off for the stevedores? Vacation by a pier? When longshoremen relax?