The US has struck targets in Syria