He Hunted an Al-Qaeda Leader—Most of This Is Still Classified