Pence won big and the Trump camp better use it