(v)dry-dock, drydockmaneuver (a ship) into a drydock