Is Mike Pence Familiar With Donald Trump’s Position on Syria?