玄池 ( xuán chí )