dry dock drydock graving dock
dry_dock%1:06:00:: drydock%1:06:00:: graving_dock%1:06:00::
a large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline