20171003 business.international-business: Nasdaq ISE options exchange halted for day after tech issues