to put a ship into dry dock