Isn’t everything else about Jehoram—everything he did—written in the official records of the kings of Judah?