there's probably a way they work around the reporting by shorting offshore...it is probably like it never existed if i could take a guess. there probably isn't a reporting requirement since they aren't under the jurisdiction of the united states.