Question: What is the name of the home park of the baseball team Steve Lombardozzi Jr. plays second baseman and left fielder for?

full_context: Document 1: Steve Lombardozzi Jr.: Stephen Anthony Paul Lombardozzi Jr. (born September 20, 1988) is an American professional baseball second baseman and left fielder in the Miami Marlins organization. He previously played in MLB for the Washington Nationals, Baltimore Orioles and Pittsburgh Pirates. He has also played for the Southern Maryland Blue Crabs of the Atlantic League of Professional Baseball.
Document 2: Miami Marlins: The Miami Marlins are an American professional baseball team based in Miami, Florida. The Marlins compete in Major League Baseball (MLB) as a member club of the National League (NL) East division. Their home park is Marlins Park. Though one of only two MLB franchises to have never won a division title (the other is the Colorado Rockies), the Marlins have won two World Series championships as a wild card team.
Document 3: Jon Jay: Jonathan Henry "Jon" Jay (born March 15, 1985) is an American professional baseball center fielder for the Chicago Cubs of Major League Baseball (MLB). He previously played in MLB for the St. Louis Cardinals and the San Diego Padres. A product of the University of Miami, he played college baseball for the Miami Hurricanes and was the Cardinals' second round selection in the 2006 MLB draft. He made his MLB debut for the Cardinals in 2010 after batting .301 with 34 home runs, .803 on-base plus slugging percentage and 61 stolen bases in 409 minor league games.
Document 4: Miami Dolphins: The Miami Dolphins are a professional American football franchise based in the Miami metropolitan area. The Dolphins compete in the National Football League (NFL) as a member club of the league's American Football Conference (AFC) East division. The Dolphins play their home games at Hard Rock Stadium in the northern suburb of Miami Gardens, Florida, and are headquartered in Davie, Florida. The Dolphins are Florida's oldest professional sports team. Of the four AFC East teams, they are the only team in the division that was not a charter member of the American Football League (AFL).
Document 5: Sean Rodriguez: Sean John Rodriguez (born April 26, 1985) is an American professional baseball utility player for the Pittsburgh Pirates of Major League Baseball (MLB). He previously played for the Los Angeles Angels of Anaheim, Tampa Bay Rays, and Atlanta Braves. While primarily a second baseman, Rodriguez has started at every position in his MLB career except for catcher and pitcher.
Document 6: Jay Loviglio: John Paul Loviglio (born May 30, 1956 in Freeport, New York) is a former Major League Baseball second baseman who played for the Philadelphia Phillies (1980), Chicago White Sox (1981–82), and Chicago Cubs (1983). After his playing days, he began a minor league coaching/managing career.
Document 7: Giancarlo Stanton: Giancarlo Cruz Michael Stanton (born November 8, 1989) is an American professional baseball outfielder for the Miami Marlins of Major League Baseball (MLB). Before 2012, he was known as Mike Stanton.
Document 8: Steve Lombardozzi: Stephen Paul Lombardozzi Sr. (born April 26, 1960) is a former American professional baseball player who was a second baseman for the Minnesota Twins and Houston Astros for six Major League Baseball seasons. Lombardozzi, perhaps best known for his defense, provided key hits in the 1987 postseason when the Twins won the World Series.
Document 9: 2012 Miami Marlins season: The 2012 Miami Marlins season was the 20th season for the Major League Baseball franchise. The Marlins moved into Marlins Park for the 2012 season; as part of the agreement, they changed their name from the "Florida Marlins" to the "Miami Marlins".
Document 10: Colorado Rockies: The Colorado Rockies are an American professional baseball team based in Denver, Colorado. The Rockies compete in Major League Baseball (MLB) as a member club of the National League (NL) West division. The team's home venue is Coors Field, located in the Lower Downtown area of Denver. The Rockies won their only National League championship in 2007, after having won 14 of their final 15 games in order to secure a Wild Card position. In the World Series they were swept by the American League (AL) champion Boston Red Sox in four games. They are one of two MLB franchises to have never won a division title (the other team is the Miami Marlins).
Document 11: History of the Miami Marlins: The Miami Marlins are a Major League Baseball team that currently plays in the city of Miami. Founded in 1991 as the Florida Marlins, the Marlins began play in in the suburb of Miami Gardens, and moved to the city in , becoming the Miami Marlins at that time.
Document 12: Anthony Rizzo: Anthony Vincent Rizzo (born August 8, 1989) is an American professional baseball first baseman for the Chicago Cubs of Major League Baseball (MLB). He is a three-time All-Star. Rizzo was selected by the Boston Red Sox in the sixth round of the 2007 MLB draft and became a top minor league prospect in the Red Sox organization. He was traded to the San Diego Padres after the 2010 season along with three other prospects in exchange for All-Star first baseman Adrian Gonzalez. After being traded to the Cubs in 2012, he developed into an All-Star player.
Document 13: List of Miami Marlins seasons: The Miami Marlins (originally the Florida Marlins from 1993 until 2011) are a professional baseball team that has been based in Miami Gardens, Florida since becoming an expansion team in . The Marlins are a member of both the Major League Baseball's (MLB) National League Eastern Division and the National League (NL) itself. For the first 19 seasons, the Marlins played their home games at Sun Life Stadium. Beginning with the season, the Marlins play home games at Marlins Park in Little Havana.
Document 14: 1998 Florida Marlins season: The 1998 Florida Marlins season started off with the team trying to repeat as World Series Champions, having won the title in 1997. Their manager was Jim Leyland. They played home games at Pro Player Stadium. They finished with a record of 54–108, dead last in the NL East. The team is notable for having arguably the biggest fire sale in sports history, auctioning off nearly all of their most notable players. The 1998 Marlins were the first defending World Series champions to finish last in their division. After winning on opening day against the Chicago Cubs, the Marlins would lose 11 straight, the most consecutive losses by a reigning champion. The Marlins would finish 0-9 against 3 teams: Cincinnati, San Francisco, and Milwaukee. The 1998 Marlins are the last team in baseball history to finish winless against 3 separate opponents.
Document 15: List of Miami Marlins no-hitters: The Miami Marlins are a Major League Baseball franchise based in Miami, Florida. Formed in 1993, they play in the National League East division. Pitchers for the Marlins have thrown six no-hitters in franchise history. A no-hitter is officially recognized by Major League Baseball only “when a pitcher (or pitchers) retires each batter on the opposing team during the entire course of a game, which consists of at least nine innings”. No-hitters of less than nine complete innings were previously recognized by the league as official; however, several rule alterations in 1991 changed the rule to its current form. A no-hitter is rare enough that one team in Major League Baseball has never had a pitcher accomplish the feat. No perfect games, a special subcategory of no-hitter, have been thrown in Marlins history. As defined by Major League Baseball, “in a perfect game, no batter reaches any base during the course of the game.”
ground_truth: Marlins Park