修建红旗渠的