How to compute the foreign tax credit with 3 countries?