Iranian proxies attack after US strike in Syria, Pentagon says