Graving dock has 2 different meanings across 1 category:
Noun
a large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline
Synonym of drydock