There are two generations of Mexican luchador wrestlers named “Dr. Wagner.” How did I not know this?