> It wouldn’t surprise me if they continued acquiring them through, well, less than legal means.

Strictly speaking, it's not illegal for them to acquire it, it's illegal for an exporter in the US to sell (even if transitively) to them.