20160805 world.middle-east: Egypt: Leader of Islamic State affiliate killed in Sinai