Mark works in a foreign country for the entire calendar year. His salary is $120,000 and he pays $18,000 in tax to the foreign government. His other taxable income (from U.S. sources) after all deductions is $30,000. If he claims the foreign earned income exclusion, how much are his creditable foreign taxes?