US forces have 1,000 ISIS detainees — and don’t know what to do with them