Dry Dock

What is Dry Dock ?

Dry Dock is (noun) a section of a harbour from which the water can be removed, so that the underside of a ship can be repaired

 

source: Easier English, Student Dictionary Upper Intermediate Level