Operations involving lifting ships onto the dock for repairs or lowering repaired ships from the slip way