Not a tax advice, but AFAIK, if you had to pay $1000 to US IRS, and already paid $800 to another country, then you owe US $200.

The country must have a tax treaty with US, so they exchange the info about your taxes in background. But many countries in EU has higher tax rates than US, then you owe $0.