Gernonimo

During a recent FB conversation, I was told that the operation was named after the Apache warrior, while bin Laden was actually code-named "Jackpot." They also claimed that these code words are random.

I am not sure I believe them.