Dry dock

An enclosed dock into which a ship is taken for underwater cleaning and repairing. It is fitted with water tight entrance gates which, when closed, permit the dock to be pumped dry.