It's my understanding that there are no "double taxes", only that you still have to go through the tax process for both countries and you deduct your non-US tax

It's my understanding that there are no "double taxes", only that you still have to go through the tax process for both countries and you deduct your non-US taxes from your US taxes, then pay the difference if the US taxes are greater.