Now the engagements which Josaphat made with the king of Israel, and all his mighty deeds which he performed, and the enemies whom he fought against, behold, are not these written in the book of the chronicles of the kings of Juda?