The US military says it directed air strikes against ISIS in Syria