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