20170607 city.bengaluru: Man flung into air by elephant; killed