Questi scontri vanno sotto il nome di operazione Ulisse e, nonostante già a partire dalla mattinata (del 4 novembre) si fossero diffuse voci sulla morte del leader guerrigliero, le prime notizie ufficiali sono iniziate a circolare solo in serata. 