Cuerpo de “Iván Mordisco”, sin figurar entre muertos en operación militar