Synonyms for Graving Dock (same or very similar meaning)
WordNet sense 1 (a large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline):
drydock, dry dockFrom the ODE community, based on WordNetadd/edit