US immigration law requires they be deported, and that's what should be done.