The other events of the rule of Hezekiah are written down. Everything he accomplished is written down. That includes how he made the pool and the tunnel. He used them to bring water into Jerusalem. All of those things are written in the official records of the kings of Judah.