Task: Question Generation
Input (English): Context_1 : In the television series, "Miami Vice", firearms took a key role. Episodes such as "Evan" revolved around them, while the characters themselves also used several firearms during the series. Sonny Crockett (played by Don Johnson) was to have used a SIG Sauer P220, but this was replaced by the then more modern Bren Ten. The importance of the firearms in "Miami Vice" is demonstrated by Galco International, which provided the holster used by Don Johnson on the show, naming its holster the "Miami Classic". Context_2 : Detective Ricardo "Rico" Tubbs is a fictional character from the "Miami Vice" television series and film of the same name. He is portrayed in all his appearances in the television series by Philip Michael Thomas, and in the film by Jamie Foxx. Tubbs is an undercover detective for the Metro-Dade Police Department's Organized Crime Bureau, having relocated to Miami from New York City in order to track down his brother's murderer. For the duration of the series, Tubbs is partnered with fellow undercover detective James "Sonny" Crockett, portrayed by Don Johnson; in the film, he is again partnered with Colin Farrell's Crockett. Context_3 : Detective James "Sonny" Crockett is a fictional character in the NBC television series "Miami Vice" and the 2006 film adaptation. The character is portrayed by Don Johnson in the television series, and Colin Farrell in the film. He was introduced in the "Miami Vice" pilot in 1984 and appeared in every subsequent episode except Season 5's "Borrasca" and in the film. The character has also appeared in video games and various popular culture references. Context_4 : Cold in July is a 2014 American independent crime drama film directed by Jim Mickle, written by Mickle and Nick Damici, and starring Michael C. Hall, Sam Shepard and Don Johnson. The film takes place in 1980s Texas and is based on the novel "Cold in July" by author Joe R. Lansdale. Hall plays a man who kills a burglar, whose father (Shepard) subsequently seeks revenge. The plot is further complicated when a private investigator (Johnson) shows up. Context_5 : "Crockett's Theme" is an instrumental song written for the hit NBC series "Miami Vice". The surname Crockett refers to Don Johnson's character, James "Sonny" Crockett. The initial version of the theme first appeared in the episode Calderone's Return: Part 1 – The Hit List which aired on 19 October 1984. The song was composed by Jan Hammer. Context_6 : "Out Where the Buses Don't Run" is the third episode of the of the American crime drama television series "Miami Vice". The episode first aired on NBC on 18 October 1985. It featured guest star Bruce McGill as an eccentric retired police officer attempting to aid Metro-Dade detectives James "Sonny" Crockett and Ricardo "Rico" Tubbs in the search for a missing drug lord. Context_7 : Miami Vice is an American television crime drama series created by Anthony Yerkovich and executive produced by Michael Mann for NBC. The series starred Don Johnson as James "Sonny" Crockett and Philip Michael Thomas as Ricardo "Rico" Tubbs, two Metro-Dade Police Department detectives working undercover in Miami. The series ran for five seasons on NBC from 1984 to 1989. The USA Network began airing reruns in 1988, and broadcast an originally unaired episode during its syndication run of the series on January 25, 1990. Context_8 : Donald Wayne Johnson (born December 15, 1949) is an American actor, producer, director, singer, and songwriter. He played the role of James "Sonny" Crockett in the 1980s television series "Miami Vice" and had the eponymous lead role in the 1990s cop series "Nash Bridges". Johnson is a Golden Globe–winning actor for his role in "Miami Vice", the American Power Boat Association's 1988 World Champion of the Offshore World Cup, and has received a star on the Hollywood Walk of Fame. Context_9 : Jan Hammer (] ) (born 17 April 1948) is a Czech-born American musician, composer and record producer. He first gained his most visible audience while playing keyboards with the Mahavishnu Orchestra in the early 1970s, as well as his film scores for television and film including "Miami Vice Theme" and "Crockett's Theme", from the popular 1980s program, "Miami Vice". He has continued to work as both a musical performer and producer, expanding to producing film later in his career. Context_10 : Miami Vice is a 2006 American action crime thriller film about two MDPD detectives, Crockett and Tubbs, who go undercover to fight drug trafficking operations. The film, written, directed and produced by Michael Mann, is an adaptation of the 1980s' television series of the same name, on which Mann was an executive producer. The film stars Jamie Foxx as Tubbs and Colin Farrell as Crockett, as well as Gong Li, Justin Theroux, Naomie Harris, Ciarán Hinds, Barry Shabaka Henley, Luis Tosar and John Ortiz, with supporting roles by Isaach De Bankolé, Eddie Marsan and others. fact_1 : Cold in July is a 2014 American independent crime drama film directed by Jim Mickle, written by Mickle and Nick Damici, and starring Michael C. Hall, Sam Shepard and Don Johnson. fact_2 :  The film takes place in 1980s Texas and is based on the novel "Cold in July" by author Joe R. Lansdale. fact_3 :  He played the role of James "Sonny" Crockett in the 1980s television series "Miami Vice" and had the eponymous lead role in the 1990s cop series "Nash Bridges". Answer: Texas
Output (English): Where is the 2014 independent crime drama film, that stars the actor who played the role of James Crockett in Miami Vice, set?