On a tangential note, I find it wild that we have so little record of such an extraordinary event that happened as recent as 1490 (when China was prospering under a unified empire): sounds like historians were writing "It was reported that stones rained down from the sky, killing ten thousand, in an obscure town in Gansu province. Anyway, back to the court..."