20170812 business.international-business: Trump threatens Venezuela with unspecified 'military option'