20171224 city.mangaluru: 11-yr-old falls into pond; dies