Los canales de redes sociales vinculados a Hamas dicen que «tres colaboradores que estaban espiando por la ocupación» fueron ejecutados.