20180601 city.erode: Three boys drown in pond while bathing