~100 terrorists released into the US?