A posting on the Facebook page of the Egyptian military's chief spokesman, Brig-Gen Mohammed Samir, said Abu Doaa al-Ansari was killed in an operation south of the coastal city of el-Arish.