Please look at the first line of my original post. Your answer was not responsive.
A good answer does exist, with step by step instructions at
https://ttlc.intuit.com/community/taxes/discussion/foreign-income-tax-paid-on-us-income-how-to-get-c...
