23 Isn't everything else about Jehoram--everything he did--written in the official records of the kings of Judah?