Red Shirt must be an alter ego of KC's or a savant.

Mick & I discussed this one a while back on the wafc wondering the same thing. My hat is in for this either being known higher up in the government ahead of time or the government was involved to some degree.