20170725 business.international-business: Brazil to raise mining royalties; set up new regulator