1. (

• dry-dock ,
• drydock

) maneuver (a ship) into a drydock ;