President Trump is going to be the nominee