And Trump would badly lose the mid-term elections.