Definición de "dique seco"

Cavidad construida en un puerto o a la orilla de un río, que se llena de agua para que entren los barcos y se vacía para limpiar o reparar la quilla