在修建红旗渠过程中涌现出很多英雄人物，其中被誉为“小愚公”的是