ISIS terrorist responsible for 2017 mosque massacre is eliminated by Egyptian army, along with nine other terrorists.