It's not too late for Dems to choose another candidate. Here's how it would work.