20170726 business.international-business: Brazil hikes mining royalties to ease budget deficit