dry dock

noun
  1. 1

    A dock that can be drained of water and is used in the repair and construction of ships.

Source: https://en.wiktionary.org/wiki/dry%20dock, https://en.wiktionary.org/wiki/drydock