graving_dock
1. [ noun ] (nautical) a large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline
Synonyms: drydock dry_dock
Related terms: wharf dock floating_dock shipyard
Similar spelling:   graving_tool