20150709 business.international-business: NYSE trading resumes after 3-hour outage