Al Qaeda leader killed by drone strike in Libya identified by Pentagon