US bombs ISIS in Syria