Your analysis is correct. A US resident alien (green card) is taxed on their worldwide income from whatever source unless specifically exempted. Taxpayer may be allowed a credit for taxes to another country on the same income (Foreign Tax Credit). As the amounts from the pension plan that were rolled into the IRA were never taxed by any territory, the taxpayer has no basis in the asset, thus no exclusion from US taxation. See link below.
Thank you for the input. I clicked enough but I am not sure I approved payment. Let me know if the payment did not go through.
Thank you for the accept. I have received the payment.