graving dock

Graving dock [ˊgreɪvɪŋdɒk] n

ремонтный док (сухой или плавучий)