A dock that can be emptied of water while a ship is being repaired.