dry dock

: a dock that can be kept dry and that is used for building or repairing boats or ships