Sale of second home in foreign country
If I sale a second home in foreign country in 2023 and I pay tax deducted at source (say 10000 dollars) to foreign country in 2023.
I then take foreign tax credit of 10000 dollars while filing US tax return for 2023.
After I file tax return for foreign country for 2023, assume I get back 4000 dollars (amount is received in 2024) because the actual taxes were lower.
In which US tax (year 2023 or 2024) return these 4000 dollars get reported and for what category of income.