I earned interest in a US savings account in 2019. I am a resident of Denmark, and per the tax treaty, only DK has the right to tax this. How do I report to the IRS?

This is defined in Article 11 of the US/DK tax treaty. I know that my financial institution is reporting this income to the IRS, so I assume my tax statement needs to include something about it, but the US is also not allowed to tax this amount. Do I enter the full amount on the 1099-INT, and then "adjust" it for the full amount under the reasoning of "other?"