How do I file an 1116 for my last w2 received from my federal job before moving from Puerto Rico to Florida?

I retired in Dec 2019 and received my last payment in Jan 2020.  My federal job was in Puerto Rico and we have to report that as foreign income and claim foreign tax credit for what was paid.