US marines sent to Syria to help assault on ISIS' Raqqa stronghold