The rest of the official acts of Joram, along with everything else that he did, are recorded in the Book of the Chronicles of the Kings of Judah, are they not?