Is Mike Pence OK with Donald Trump’s bigoted remarks?