Egypt’s army kills 4 more terrorists in “Sinai 2018” operation