@RobertB4444 (I somehow missed your response.)
The thing is: they did pay taxes, not here, but there, as "inheritance tax." The foreign government needed that money from them as heirs to keep processing the transfer of ownership. And since from an earlier expert here I heard that this money would only need to be reported in the "estate return," I wonder how the heirs could somehow deduct it?
