U.S. military strikes sites in Syria with ties to Iran.