Brazilian exports jump 42.5% in July, record 55.3% in first seven months of 2017  [ Brazil ]