After public outcry and political pressure, President Donald Trump ended the practice of separating children from their families at the border in an executive order signed on June 20.

However, he left in place requirements to prosecute or at least detain immigrants who may have entered the country unlawfully – including children and...