דיווח על ירי סמוך להרודיון במזרח גוש עציון - בצה"ל לא איתרו זירה