Forecasting the GOP war over Donald Trump: How likely is a brokered convention?