A large dock from which water can be pumped out, used for building ships or for repairing a ship below its waterline English: dry dock, drydock, graving dock