CIA didn’t know strike would hit al-Qaeda leader