Yes, SQUARE_ROOT is right. The Torah calls the Melech a Nasi. “Asher nasi Yechta…..”. It’s clear in Yechezkel (and Yeshaya) that Moshiach will have children. Yechezkel even says (46:16) that his inheritance would go to his sons – and we know according to the Torah, that that means he will die.
And yes, if the Beis din paskens misah on them – so be it. Din Torah is Din Torh