高阳池 ( gāo yáng chí )