20171108 business.international-business: Roy Halladay; ex-Major League pitching star; dies in plane crash off Florida