That is correct, but it’s also doubtful that the Republican party, actually its members would nominate Hillary, so using her or any total liberal trash person is nonsensical.
Although, if Hillary were the Republican nominee, I cannot even image who would be the democrat nominee - possibly someone way left of Michael Moore? If that were the case, yes - you would have to vote for Hillary.