昆明池即老杜所谓昆明汉武旧时功者也予经其地盖已墟矣因作一律以寓慨叹之意云