Joshua 10:1

Now Adoni-Zedek king of Jerusalem heard that Joshua had taken Ai and totally destroyed^[a] it, doing to Ai and its king as he had done to Jericho and its king, and that the people of Gibeon had made a treaty of peace with Israel and had become their allies.