dry dock

Definitions

Military

  • noun a dock from which the water can be removed in order to allow repairs to the hull of a ship

Travel

  • noun a dock where the water is pumped out to allow repairs to be done to a ship
http://www.dictionarycentral.com/definition/dry-dock.html