Operació militar russa a Síria