Question: Da'Sean Butler was drafted 42nd overall by the Miami Heat in an NBA draft held at what venue?

full_context: Document 1: Michael Beasley: Michael Paul Beasley Jr. (born January 9, 1989) is an American professional basketball player for the New York Knicks of the National Basketball Association (NBA). He played college basketball for Kansas State University for one year before declaring for the NBA draft in 2008. He is regarded as one of the best freshman college basketball players of the 2000s. Though ambidextrous, he shoots left-handed.
Document 2: DeSean Jackson: DeSean William Jackson (born December 1, 1986) is an American football wide receiver for the Tampa Bay Buccaneers of the National Football League (NFL). He played college football for the University of California, Berkeley, where he was recognized as a consensus All-American. He was drafted by the Philadelphia Eagles in the second round of the 2008 NFL Draft, and played for the Washington Redskins for three seasons after his departure from the Eagles. Jackson has been selected to the Pro Bowl three times, and was the first player selected to the Pro Bowl at two different positions in the same year when he was named to the 2010 Pro Bowl as a wide receiver and return specialist.
Document 3: 2006 NBA draft: The 2006 NBA draft was held on June 28, 2006, at the Theatre at Madison Square Garden in New York City and was broadcast in the United States on ESPN. In this draft, National Basketball Association (NBA) teams took turns selecting amateur U.S. college basketball players and other eligible players, including international players. This was also the only time the New Orleans Hornets would draft under the temporary name of the New Orleans/Oklahoma City Hornets as the city of New Orleans was still recovering from the events of Hurricane Katrina after the 2005-06 NBA season.
Document 4: 2009 NBA draft: The 2009 NBA draft was held on June 25, 2009, at the WaMu Theatre at Madison Square Garden in New York City. In this draft, the National Basketball Association (NBA) teams took turns selecting amateur U.S. college basketball players and other eligible players, including international players.
Document 5: Da'Sean Butler: Da'Sean Butler (born January 25, 1988) is an American professional basketball player. Butler was drafted 42nd overall by the Miami Heat in the 2010 NBA draft. He played in France in the top professional league with Châlons Reims.
Document 6: Kevin Butler (streetball player): Kevin "Bizness" Butler is an American streetball player known for his exceptional dunking ability. He is also known for his appearances on the ESPN television show "City Slam". Butler is from Oakland, California and is 6 foot 2 inches tall. Butler played college basketball for 4 years for the University of California - Riverside (UCR), and, like his streetball moniker, ""Bizness"", alludes, graduated in 2004 with a degree in business. Butler also plays for the streetball crew "YPA". Butler competed in the slam dunk contest of City Slam in both the 2005 and 2006 seasons. During the 2005 season, Butler was one of three contestants to reach the 60-inch barrier in the high-jump portion of the competition. In the 2005 finals in Chicago, Butler placed fourth, losing to eventual champ, Chris "Skywalker" Lowery. In the 2006 season, Butler was the Oakland Regional winner. In 2005, Butler played in the inaugural season for the then San Francisco Pilots (later renamed the San Francisco Rumble) of the reborn American Basketball Association. In 2007, Butler, along with other past winners and finalists from City Slam, assisted former NBA player Dee Brown during his "2007 Summer Slam Camp", which was described as the "world’s first slam dunk workout camp".
Document 7: Evan Turner: Evan Marcel Turner (born October 27, 1988) is an American professional basketball player for the Portland Trail Blazers of the National Basketball Association (NBA). He was drafted second overall by the Philadelphia 76ers in the 2010 NBA draft and played for them until he was traded in February 2014 to the Indiana Pacers. Turner plays the point guard, shooting guard and small forward positions.
Document 8: DeMar DeRozan: DeMar Darnell DeRozan (born August 7, 1989) is an American professional basketball player for the Toronto Raptors of the National Basketball Association (NBA). He played college basketball for USC and was selected ninth overall by the Raptors in the 2009 NBA draft. In 2017, he was named an NBA All-Star for the third time in four years, and was named an All-NBA Team member. DeRozan has played for the United States men's national basketball team in two major tournaments: the 2014 World Cup and the 2016 Summer Olympics.
Document 9: 2011 NBA draft: The 2011 NBA draft was held on June 23, 2011, at Prudential Center in Newark, New Jersey. The draft started at 7:00 pm Eastern Daylight Time (2300 UTC), and was broadcast in the United States on ESPN. In this draft, National Basketball Association (NBA) teams took turns selecting amateur U.S. college basketball players and other eligible players, including international players. The Cleveland Cavaliers had the first pick due to a previous trade they had involving the Los Angeles Clippers, choosing point guard Kyrie Irving of Duke. Of the 60 players drafted, 7 were freshmen, 7 were sophomores, 14 were juniors, 19 were seniors, 12 were international players without U.S. college basketball experience (including the first ever Qatari-selected player), and 1 was a D-League player.
Document 10: Jimmy Butler (basketball): Jimmy Butler III (born September 14, 1989) is an American professional basketball player for the Minnesota Timberwolves of the National Basketball Association (NBA). Born in Houston, Butler grew up in Tomball, Texas, and played college basketball for Tyler Junior College and Marquette University. He was drafted with the 30th overall pick in the 2011 NBA draft by the Chicago Bulls. He is a three-time NBA All-Star and a three-time NBA All-Defensive Team honoree, and was named to his first All-NBA Team in 2017. In 2015, he was named the NBA Most Improved Player.
Document 11: Rasual Butler: Rasual Butler (born May 23, 1979) is an American professional basketball player who last played for the San Antonio Spurs of the National Basketball Association (NBA). He has previously played for the Miami Heat, New Orleans Hornets, Los Angeles Clippers, Chicago Bulls, Toronto Raptors, Indiana Pacers, Washington Wizards and San Antonio Spurs. He was born in Philadelphia, and raised in the Point Breeze area of South Philadelphia.
Document 12: 2012 NBA draft: The 2012 NBA Draft was held on June 28, 2012, at Prudential Center in Newark, New Jersey. The draft started at 7:00 pm Eastern Daylight Time (2300 UTC), and was broadcast in the United States on ESPN. In this draft, National Basketball Association (NBA) teams took turns selecting amateur U.S. college basketball players and other eligible players, including international players. This draft marked the first time that the first two players selected were from the same school (Anthony Davis and Michael Kidd-Gilchrist were teammates at Kentucky). It also set a record of having six players from one school (Kentucky) being selected in the two rounds of the draft and was the first draft to have the first three selections be college freshmen all from the same conference, the Southeastern Conference. Not only that, but it also featured the oldest player to ever get selected in an NBA draft, with Bernard James being 27 years old at the time of the draft. Of the players drafted, 30 are forwards, 21 are guards, and 9 are centers.
Document 13: 2014 NBA draft: The 2014 NBA draft was held on June 26, 2014, at Barclays Center in Brooklyn. National Basketball Association (NBA) teams took turns selecting amateur U.S. college basketball players and other eligible players, including international players. The draft lottery took place on May 20, 2014. The Cleveland Cavaliers won the draft lottery to earn the first overall pick in the draft; this is the fourth number-one pick for Cleveland since 2003 and third number-one pick over a four-year span from 2011–2014. This draft would also be the first for the reborn Charlotte Hornets, who played as the Bobcats from 2004–2014, since 2001, when the original Charlotte Hornets last selected as the Charlotte Hornets before moving to New Orleans and eventually becoming the current New Orleans Pelicans.
Document 14: 2010 NBA draft: The 2010 NBA draft was held on June 24, 2010, at the Theatre at Madison Square Garden in New York City, New York. The draft, which started at 7:00 pm Eastern Daylight Time (2300 UTC), was broadcast in the United States on ESPN. In this draft, National Basketball Association (NBA) teams took turns selecting amateur U.S. college basketball players and other eligible players, including international players. This draft set a record with five players being drafted from the same school in the first round. The players were John Wall (first), DeMarcus Cousins (fifth), Patrick Patterson (fourteenth), Eric Bledsoe (eighteenth), and Daniel Orton (twenty-ninth), all from the University of Kentucky. This draft also marked the second time that an NBA D-League player was drafted, with the first case coming in 2008.
Document 15: 2012 NBA draft: The 2012 NBA Draft was held on June 28, 2012, at Prudential Center in Newark, New Jersey. The draft started at 7:00 pm Eastern Daylight Time (2300 UTC), and was broadcast in the United States on ESPN. In this draft, National Basketball Association (NBA) teams took turns selecting amateur U.S. college basketball players and other eligible players, including international players. This draft marked the first time that the first two players selected were from the same school (Anthony Davis and Michael Kidd-Gilchrist were teammates at Kentucky). It also set a record of having six players from one school (Kentucky) being selected in the two rounds of the draft and was the first draft to have the first three selections be college freshmen all from the same conference, the Southeastern Conference. Not only that, but it also featured the oldest player to ever get selected in an NBA draft, with Bernard James being 27 years old at the time of the draft. Of the players drafted, 30 are forwards, 21 are guards, and 9 are centers.
ground_truth: Theatre at Madison Square Garden