US carries out ‘massive’ strike against IS in Syria | BBC News