Joshua 10:30 New American Bible, Revised Edition (NABRE)

and the Lord delivered it, with its king, into the power of Israel. He put it to the sword with every person there, leaving no survivors. Thus he did to its king what he had done to the king of Jericho.