Graving dock definition

Graving dock means a paved exca- vation in the ground that can be flooded to allow a ship to be floated in and drained to allow that ship to come to rest on a dry platform.
Graving dock means the dry dock in the port;