חיסולו של רב המחבלים אוסאמה בן לאדן, בידי צבא ארצות הברית בפקיסטן.