Ronny Mauricio homers, Mike Vasil takes a no-hitter into the 9th for the Syracuse Mets8/9/2023, 2:10 AM