The official mission code name was Operation Neptune Spear (a reference to the trident in the SEAL insignia), with Jackpot as the code name for bin Laden as an individual and Geronimo as the code word for bin Laden's capture or death.