al-Qaeda leader killed