It’s over. Trump is going to be the Republican nominee.