The Democrats Need a Brutal Primary to Beat Trump