All I can say is, whatever way he went down, it was too wasn't painful enough for what he did. Thankfully, it sounds like it was done by the US and not someone else. It also seems that he may have been killed by SEALs who were sent to get him (though whether they were supposed to kill or capture him has not been stated yet).
To whomever did the job, thank you.
9 Things to Pay Top Dollar For
1 hour ago