A dock that can be drained of water to allow a ship's hull to be repaired