洪池 ( hóng chí )