Joshua 10:30

And the Lord delivered it, with its king, into the hands of Israel. And they struck the city with the edge of the sword, and all its inhabitants. They did not leave in it any remains. And they did to the king of Libnah, just as they had done to the king of Jericho.