An enclosed basin into which a ship is taken for underwater cleaning and repairing. It is fitted with watertight entrance gates which when closed permit the dock to be pumped dry. Sometimes has two or more compartments separated by watertight doors. Dry docks are also referred to as Graving Docks.