What would be a good estimate of how many Kings there were throughout history?