水工郑国是哪个国家的，水工郑国修渠怎么回事？