20210524 city.dehradun: Record showers raise water level of Naini Lake; which was nearing zero