鲁窟海子

即“泸沽湖”。