LABOR de Carlos Rodriguez vs Jacksonville Jumbo Shrimp 20 09 2023 MiLB