«Сделали то, что надо»: западные СМИ оценили вывод российских войск из Сирии