Probably the most controversial Trump-era immigration insurance policies — the so-called Stay in Mexico program, formally referred to as the…