Bin Laden was killed in an operation that did not involve Pakistani forces, but that may (or may not) have involved the country’s intelligence community.
Bin Laden fue eliminado en una operación que no incluía a fuerzas paquistaníes, pero en la que pueden (o no) haber participado organismos de inteligencia del país.