US Officials Describe Operation Against al-Qaida’s Leader