Trump's odds just got a fair bit shorter, from 6 to 4.5 in ten minutes or so.