One Christian's reaction to Osama Bin Laden's death

Bob is a Christian man in his 70's who was in the army as a young man.  He learned how to efficiently and quickly kill a man with a gun.
When Osama Bin Laden was recently killed by Navy Seal Team 6, Bob heard on the news that some people were loudly celebrating.  Bob said that in the spirit of Jesus' way, he had a hard time feeling celebrative, because he cannot feel happy about anybody being killed.  Bob told me that when he first heard the news, he immediately stopped what he was doing and prayed for the forgiveness of Bin Laden's soul.

But here's an interesting twist:  Bob also added that he was not blind to the great harm Bin Laden had done and may still have been doing.  He said that if he were still in the army, Bob would have had no problem following orders to pull the trigger on Bin Laden.  But his reaction would not have been glee.  It would have been the resignation that this is what was necessary to stop further murders.

See ABC World News video about the Navy Seals who killed Bin Laden:  http://www.youtube.com/watch?v=J5prM5fHNYk