Would Mike Pence vote for Donald Trump in 2024?