溟池 ( míng chí )