郑国渠建于春秋时期。