20170825 business.international-business: Florida executes man with drug not previously used in lethal injections