Known for his blazing fastball and incredible longevity, which Hall of Fame pitcher holds the MLB all-time records for both career strikeouts (5,714) and no-hitters thrown (7)?