Isn’t everything else about Hezekiah, all his heroic acts and how he made the pool and tunnel to bring water into the city, written in the official records of the kings of Judah?