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