dry dock

Universal Words noun [C,U] an enclosed part of a port, from which the water can be removed, for building or repairing ships: The ship is in dry dock.