That sounds about right.
Dems will not nominate a member of the House for the top spot. Had he beaten Cruz he’d be the choice. Hickenlooper, Harris or Bernie are most likely.