Is the race for the GOP nomination over?