 Well, I'm here at the border, and the story broke yesterday morning from NBC, citing multiple sources, that hundreds, 400 or so migrants were smuggled into the United States via an ISIS-related group. The NBC reporting says that about 150 have been arrested and that 50 or so are still at large. And the NBC report said, citing DHS, those 50 migrants that are still at large are not a threat