20171013 business.international-business: Irish 'bad bank' pays off last of senior debt