. . . "Or the welders and other tradesmen that maintain the ocean-battered vessels when they return to port." .