紫霞真人

南京紫霞湖因紫霞洞而得名,紫霞洞原名朱湖洞,即道书中所说的“第三十一洞天”。元末道士周巅隐居洞中,朱元璋做皇帝后,封他为紫霞真人,洞也因此得名。