دریاچهٔ قرمز ایران دریاچهٔ مهارلوی شیراز.