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