In fact Trump would have won the popular vote by five points — rather than just the 1.7 points he beat Harris by ...