A 20-year golfing record has just been equaled at the PGA Championship