Joshua 10:28

That same day Joshua captured and destroyed the town of Makkedah. He killed everyone in it, including the king, leaving no survivors. He destroyed them all, and he killed the king of Makkedah as he had killed the king of Jericho.