Is Donald Trump OK with Russian intervention in Syria?

Republican presidential candidate advocates letting Putin take care of ISIS