It's time to change the name to Trump-Hatin' Paul.