The Killing of Osama Bin Laden: How the Mission to Hunt Down a Terrorist Mastermind was Accomplished