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