Which of the following would allow a taxpayer to claim the foreign tax credit without filing Form 1116?