The US coalition struck at the Syrian army