permanent residency permit (originally referred specifically to the US green card)