Joshua 10:30

And the LORD also delivered that city and its king into the hand of Israel, and Joshua put all the people to the sword, leaving no survivors. And he did to the king of Libnah as he had done to the king of Jericho.