Joshua 10:28-30
וְאֶת מַקֵּדָה לָכַד יְהוֹשֻׁעַ בַּיּוֹם הַהוּא וַיַּכֶּהָ לְפִי חֶרֶב וְאֶת מַלְכָּהּ הֶחֱרִם אוֹתָם וְאֶת כָּל הַנֶּפֶשׁ אֲשֶׁר בָּהּ לֹא הִשְׁאִיר שָׂרִיד וַיַּעַשׂ לְמֶלֶךְ מַקֵּדָה כַּאֲשֶׁר עָשָׂה לְמֶלֶךְ יְרִיחוֹ: וַיַּעֲבֹר יְהוֹשֻׁעַ וְכָל יִשְׂרָאֵל עִמּוֹ מִמַּקֵּדָה לִבְנָה וַיִּלָּחֶם עִם לִבְנָה: וַיִּתֵּן יְדֹוָד גַּם אוֹתָהּ בְּיַד יִשְׂרָאֵל וְאֶת מַלְכָּהּ וַיַּכֶּהָ לְפִי חֶרֶב וְאֶת כָּל הַנֶּפֶשׁ אֲשֶׁר בָּהּ לֹא הִשְׁאִיר בָּהּ שָׂרִיד וַיַּעַשׂ לְמַלְכָּהּ כַּאֲשֶׁר עָשָׂה לְמֶלֶךְ יְרִיחוֹ:
We are never told, in the Jericho story or elsewhere, what they did to the King of Jericho…