Abu Abdallah, former Egyptian Army Officer, trainer of ISIS militants in Libya, killed