Syrian army patrol ambushed by ISIS in Al-Badia, at least one soldier killed