US Dollar / Norwegian Krone (USD/NOK) Up or Down on October 12: Prediction Markets & Forecast