1.古池名。汉武帝时建。