Joshua 10:1-2, 28

Adoni-zedek, the king of Jerusalem, was struck with fear when he heard how Joshua had totally destroyed the kings and cities of Ai and Jericho and that the people of Gibeon had made a peace treaty with Israel and were living alongside them. The city of Gibeon was larger than Ai, as large as any of the cities that were ruled by a king, and all its men were known as great warriors.

That day, Joshua captured Makkedah, annihilated the inhabitants, and put its king to the sword, leaving no survivors. And he did to its king what had been done to the king of Jericho.