20180707 india: Army; cops rescue 3 'sadhus' from lynch mob