israëlische agente neergestoken, palestijnse aanvallers gedood