汶川大地震中,四川受灾严重,但有一处建于战国时期的水利工程没有受到严重损害,这一著名水利工程