Unfortunately, the question isn't really directly answered.
The most relevant passage seems to be, "If the [unwittingly distributed] version in question is unpublished and considered by a company to be its trade secret, then publishing it may be a violation of trade secret law, depending on other circumstances. The GPL does not change that."
So I think a court would rule that the original leak does not qualify as "distribution," and thus the company is not required to distribute the source and everyone distributing the leaked code is under copyright violation.