graving dock

noun

1. a large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline
   Terjemahkan ke Indonesia sumber: wordnet30