Now the rest of the acts of Hezekiah and all his might—including how he made the pool and the tunnel that brought water into the city—are they not written in the Book of the Chronicles of the Kings of Judah?