20170730 business.international-business: Egyptian in Red Sea knife attack supported Islamic State; sources say