Mars’s possibly habitable lake