Event-Related Exchange-Rate Forecasts Combining Information from Betting Quotes and Option Prices. (20th August 2018)