It is still Trump's nomination if he wants it.