כמה מחבלים חיסלו המסוקים בטבח שמחת תורה?