20170802 city.jaipur: Cop dies in mishap during patrolling