Yes, that is deductible as a bad debt. It is reported as a short term capital loss on form 8949.
To enter, in TurboTax, type> bad debt, non-business <in the find box. Then click Jump to.
Reference: https://www.lawyers.com/legal-info/taxation/income-tax/deduction-for-non-business-bad-debts.html
