US Expat Taxes and the Foreign Tax Credit – Form 1116