ABC, Inc., a domestic corporation, reports $50 million of taxable income, including $15 million of general limitation foreign-source taxable income, on which ABC paid $5 million in foreign income taxes. The U.S. tax rate is 35%. What is ABC's foreign tax credit?