Topping coverage of Egypt in the international news this morning was news that Egypt’s Armed Forces killed 13 suspected terrorists in Sinai. There is nothing significant about this particular update from MENA agency on Operation Sinai 2018, with most news outlets, including Haaretz, simply providing historical background on the operation.