Joshua 10:30

There, too, the LORD gave them the town and its king. He killed everyone in it, leaving no survivors. Then Joshua killed the king of Libnah as he had killed the king of Jericho.