battle against Islamic State (IS) in Syria