I don't know how the astronots know this. Possibly, a rock up in the firmament crossed paths with the wandering star of Jupiter.
