Jehoshaphat's reign as king over Judah ends