As for the other matters concerning Jotham, and all that he did, are they not written in the book of the events of the kings of Judah?