dry-dock
drydock
maneuver (a ship) into a drydock