20190507 business.international-business: A trader's dilemma: Who to sue when a robot loses millions?