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.
Y está claro por los registros militares revelados públicamente que el nombre Gerónimo fue usado en ocasiones por el personal militar involucrado para tanto a la operación militar como al mismísimo Osama Bin Laden.