Dozens of U.S. civilians are in Syria fighting against ISIS