US Dollar / Brazilian Real (USD/BRL) Up or Down on October 12: Prediction Markets & Forecast