The man who killed Bin Laden: William H. McRaven