The rest of Jotham’s deeds, aren’t they written in the official records of Judah’s kings?