珍池 ( zhēn chí )