In Syria, the Trump administration has deployed several hundred U.S. marines armed with heavy artillery in advance of a planned fight against ISIS in the city of Raqqa. The Pentagon said a further 1,000 troops were deploying to Kuwait and could be brought into the battle if needed.