20180704 city.chandigarh: Mining operations stopped on Punjab river beds