I doubt the trades can be traced beyond cut-out holding companies or fake ID's of people who have already left the countries in which they placed the puts. Note that it took people several days after Wall Street reopened to recognize the suspicious transactions. They're gone, they money transfered into other accounts, and their fake ID's with them.

On the other hand, the terrorists on 9/11 used their real names for everything involved, so there might be some hope of being able to trace the money trail.