释义：Dock where water is pumped out so that a ship’s hull can be repaired, cleaned or painted.