Russia Now Has 4,000 People in Syria — And They’re Not in a Rush to Fight the Islamic State