How Many Heavyweight Boxing Champions Are There: A Detailed Look