20190507 city.bengaluru: Sagar lake named after 3-year-old star swimmer