IDF rounds up nine more terrorists and checks 40 locations, seizes pistols and explosives. IDF source: 'publishing names didn't harm op.'
