And it is clear from the military records released that the name Geronimo was used at times by military personnel involved for both the military operation and for Osama Bin Laden himself .
Imagen disponible de dominio público .