It's over for Trump.