લાદેનને ખતમ કરવા માટેની કામગીરીને ઓપરેશન જેરોનિમો નામ આપવામાં આવ્યું હતું.