US citizens have to report their worldwide income on their US tax returns. They may be able to claim a foreign tax credit for tax paid to other country.
