20200729 city.dehradun: Level in Naini lake hits July record