Isn’t everything else about Josiah—everything he did—written in the official records of the kings of Judah?