20170706 city.erode: Man attacked by elephant