Overhaul of empty high-pressure diversion tunnel of Tianhuangping pumped storage power station