20190712 city.agra: Three boys fall into ditch; die