If a UK citizen/UK tax resident, US NRA with W-BEN filed, takes a $15k TIRA distribution, according to the double taxation treaty that is taxable in the UK. My question is how is the distribution reported for IRS purposes?

Thanks in advance.