Capital Gains Tax on Sale of Personal Property in Puerto Rico (Non Resident)

My mother sold a vacation condo in Puerto Rico and had to pay non resident taxes. How do I report this in Turbo Tax? I believe she qualifies for a Foreign Tax Credit (or deduction) but not sure about exactly to approach this.