[Solved] What is the official name for a U.S. Green Card?

The Question: What is the official name for a U.S. Green Card?

External Identification Card
Foreign Certification Document
Permanent Residence Card
Immigrant Habitation Card

The correct answer is Permanent Residence Card.