What is the official name of " green card stamp" ? Do I need to fill out a related form? I try to search uscis website, couldn't find any info. Thanks!