Thanks. It (US citizens deported) hadn’t crossed my radar before, so it is helpful to have this reference.