Most people in his position would play the same stategy.
And if Trump does get the nomination, go ahead and vote for Obama.
I don’t vote for Democrats.