ABC, Inc., has $120,000 U.S.-source income, $80,000 of foreign source income, and $25,000 foreign taxes deemed paid. Assume that the U.S. income tax liability before the foreign tax credit is $61,250. ABC's foreign tax credit is