WSJ editorial: If Trump can't change his tune by Labor Day, the GOP should write him off

“…or turn the nomination over to Mike Pence.”