And, yes, I am reporting a lump sum distribution from a Canadian retirement fund, on which Canadian taxes were withheld at source. Following your advice of ente...

I carefully examined the Estimates and Other Taxes Paid section, but I couldn't find any option for Foreign taxes paid. That section lists entries for estimates...