John and Mary are residents of Puerto Rico who plan to file Married Filing Jointly. John works for the federal government and received a salary of $29,567 during this tax year. Mary works for a private industry and received a salary of $18,231. Their Puerto Rico tax liability is $4,135..
What is John and Mary's reduction in foreign taxes (line 12)?