20170817 business.international-business: DRW to buy RGM in latest deal among high-speed trading firms