20200614 city.ranchi: Tribals kill Naxal; timely intervention by police averts massacre