Synonyms for Drydock (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):
dry dock, graving dockWordNet sense 2 (haul a ship into a drydock):
dry-dockFrom the ODE community, based on WordNetadd/edit