: Will a future King Juan of Spain the be King
: Juan IV ?
Probably. There was a Louis XVIII in spite there never was a de factu Louis XVII.
Since there is no confict between the users, I guess a future Juan will be king Juan IV.
Having said that, I doubt that if, due to some calamity, Pr.Harry was to be the future king of the UK, he would be Henry X, thus recognizing the "monarchy" oh Henry IX the Stuart cardinal-king.
I am pretty sure he would be Henry IX, unless he would choose another name.
Being Henry Charles, he could opt for that name.
We would have to wait to see under which name Charles would reign one day, to see if Harry would be Charles III or IV.
I am curious to see what number Leonor would use when her day will come.
Spanish kings tend to adopt the castillian sequence.
But there was a Leonor I, brief queen of Navarre for a mere 15 days.
If the present Leonor would need to blink an eye to the people of Navarra, she could opt to be L. II.