20 Everything else that King Hezekiah did, his brave deeds, and an account of how he built a reservoir and dug a tunnel to bring water into the city, are all recorded in [The History of the Kings of Judah.]