The fact is that those kids are all US Citizens or lawful permanent residents. They get checked at the border just like everyone else.
Okay...that’s a piece of info I didn’t have.