He at least has permanent resident status, I assume he's gotten his citizenship by now
The site also notes that the judge was born in Medellin, Columbia, and arrived in the U.S. when he was just 9 years old on a tourist visa. He remained in the country and lived undocumented for 15 years before obtaining lawful permanent resident status, the site added.
He at least has permanent resident status, I assume he's gotten his citizenship by now