In which of the following situations would a taxpayer be better off to take the foreign taxes paid as an itemized deduction rather than as a foreign tax credit?