Now the rest of the acts of Josiah, and all he did, are they not recorded in the book of the history of the kings of Judah?