Correlation between Bernie nomination odds and Trump re-election odds?