华子池，