红旗渠有什么洞