ABC operates a branch office in Country X. This year, ABC has $400,000 of U.S. source income and $500,000 of foreign source income earned by the branch. The branch paid $100,000 of foreign taxes. ABC's taxable income is $ and it can claim a foreign tax credit of $