Congressional Budget Office estimated that in 2023, about 550,000 children in public schools were immigrants who’d arrived ...