A dock in which a ship can be floated and then the water pumped out, allowing for maintenance, repair, or construction work to be carried out on the hull.