历史地名 > 鲁窟海子

即“泸沽湖”。