Reference for Sanhedrin 40:17

ולבסוף לא מלך אלא על ישראל שנאמר (קהלת א, יב) אני קהלת הייתי מלך על ישראל וגו' ולבסוף לא מלך אלא על ירושלים שנאמר (קהלת א, א) דברי קהלת בן דוד מלך בירושלים ולבסוף לא מלך אלא על מטתו שנאמר (שיר השירים ג, ז) הנה מטתו שלשלמה וגו'

acted unworthily, at it is written, That we also may be like all the nations and that our king may judge us and go before us.<span class="x" onmousemove="('comment',' I Sam. VIII, 20. Thus the main purpose of the elders was to ensure law and order, whereas the 'am ha-aretz thought chiefly of warlike expeditions. ');">²⁵</span> It has been taught: R. Jose<span class="x" onmousemove="('comment',' V.l. 'R. Judah.' ');">²⁶</span>

Jastrow

Jastrow

Jastrow

Rashi on I Kings