Egypt has been trying to quash attacks led by ISIS, whose local branch is based in North Sinai. (File photo: AFP)