后来被称为墨池。