Is Donald Trump OK with Russian intervention in Syria?