The Democratic primary is now, officially, taking a bit of a backseat while Washington decides whether Donald Trump will be on the Republican line.