משטרת הצווים: לבקשת המשטרה והשב"כ, שופט אסר לפרסם שמות של שני מחבלים שנורו למוות בעת שתקפו כוח ישראלי