"The timing of the operation that ended his life was a gift to the American people, who can now mark the 10th anniversary of 9/11 without the thought that the orchestrator of those attacks remains at large." . . . .