 So it's 1.30 p.m., and this is a little unorthodox, but I'm peeking over the shoulder of my colleague Mike Bender, and I can see that he's writing the following. Both Doug Burgum and Marco Rubio have been told that they are not Trump's VP choice, so in real time, assuming that this is right, we're left...