To be fair, they didn't specify Henry XIII of what. There are plenty of them - if nothing else a bunch from the House of Reuss where all male kids are called He

To be fair, they didn't specify Henry XIII of what. There are plenty of them - if nothing else a bunch from the House of Reuss where all male kids are called Henry (Heinrich) Number (one branch just keeps incrementing the number to 100, and then rolls over to 1; the other one rolls over every century). There's even a living one who was in the news not all that long ago: https://en.wikipedia.org/wiki/Heinrich_XIII_Prinz_Reuss https://en.wikipedia.org/wiki/Heinrich_XIII_Prinz_Reuss