What visa type does he hold?
What income did he have in 2024 before coming to US? Does he want to pay US tax on that also, and maybe claim foreign tax credit?
