紫霞真人zǐ xiá zhēn rén

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