U.S. strikes ISIS targets in Syria, after 2 soldiers and interpreter were killed