Question: What Miami Vice actor starred in Revenge of the Stepford Wives?

full_context: Document 1: Crockett's Theme: "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.
Document 2: Firearms in Miami Vice: 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".
Document 3: Ira Levin: Ira Marvin Levin (August 27, 1929 – November 12, 2007) was an American novelist, playwright, and songwriter. His most noted works include the novels "A Kiss Before Dying" (1953), "Rosemary's Baby" (1967), "The Stepford Wives" (1972), and "The Boys from Brazil" (1976), as well as the play "Deathtrap" (1978). Many of his novels and plays have been adapted to film.
Document 4: Miami Vice: 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.
Document 5: Donald Johnson: Donald James "Don" Johnson (born September 9, 1968) is a former professional tennis player from the United States who reached the World No. 1 doubles ranking in 2002. Although born in Bethlehem, Pennsylvania, he was raised and learned the sport of tennis in the Pittsburgh suburb of Mt. Lebanon, Pennsylvania. Johnson attended Fairview High School in Erie, Pennsylvania, and won the PIAA State Singles Championship in 1984. During his career, he won the Wimbledon men's doubles title in 2001 (partnering Jared Palmer), and the Wimbledon mixed doubles title in 2000 (partnering Kimberly Po). He also won the doubles title at the Tennis Masters Cup in 2000 (partnering Piet Norval). He won a total of 23 top-level doubles titles.
Document 6: Philip Michael Thomas: Philip Michael Thomas (born May 26, 1949) is an American actor. Thomas' most famous role is that of detective Ricardo Tubbs on the hit 1980s TV series "Miami Vice". His first notable roles were in "Coonskin" (1975) and opposite Irene Cara in the 1976 film "Sparkle". After his success in "Miami Vice", Thomas appeared in numerous made-for-TV movies and advertisements for telephone psychic services. He served as a spokesperson for cell phone entertainment company Nextones, and supplied the voice for the character in the video games "" and "".
Document 7: The Stepford Wives (2004 film): The Stepford Wives is a 2004 American science-fiction comedy film. It was directed by Frank Oz from a screenplay by Paul Rudnick and stars Nicole Kidman, Matthew Broderick, Bette Midler, Christopher Walken, Faith Hill and Glenn Close. The film is a remake of the 1975 film of the same title; both films are based on the Ira Levin novel "The Stepford Wives". The remake grossed $102 million worldwide on a $90 million budget.
Document 8: The Stepford Husbands: The Stepford Husbands is a 1996 American made-for-television thriller-drama film inspired by the Ira Levin novel "The Stepford Wives". It was directed by Fred Walton with a screenplay by brothers Ken Wheat and Jim Wheat and starring Donna Mills, Michael Ontkean, Cindy Williams, Sarah Douglas and Louise Fletcher. It is the third in a series of sequels inspired by the 1972 novel and the original 1975 film "The Stepford Wives".
Document 9: Revenge (1990 film): Revenge is a 1990 romantic thriller film directed by Tony Scott and starring Kevin Costner, Anthony Quinn, Madeleine Stowe, Miguel Ferrer and Sally Kirkland. Some scenes were filmed in Mexico. The film is a production of New World Pictures and Rastar Films and was released by Columbia Pictures. "Revenge" also features one of John Leguizamo's earliest film roles. The film is based on a novella written by Jim Harrison and published in "Esquire" magazine in 1979. Harrison, who also wrote "Legends of the Fall", co-wrote the script.
Document 10: The Stepford Children: The Stepford Children is a 1987 American made-for-television science fiction-thriller film inspired by the Ira Levin novel "The Stepford Wives". It was directed by Alan J. Levi with a screenplay by Bill Bleich and starring Barbara Eden, Don Murray, Tammy Lauren, Randall Batinkoff and Pat Corley. It is the second in a series of sequels inspired by the 1972 novel and the original 1975 film "The Stepford Wives".
Document 11: The First Wives Club: The First Wives Club is a 1996 American comedy film, based on the best-selling 1992 novel of the same name by Olivia Goldsmith. Narrated by Diane Keaton, it stars Keaton, Goldie Hawn, and Bette Midler as three divorced women who seek revenge on their ex-husbands who left them for younger women. Stephen Collins, Victor Garber and Dan Hedaya co-star as the husbands, and Sarah Jessica Parker, Marcia Gay Harden and Elizabeth Berkley as their lovers, with Maggie Smith, Bronson Pinchot and Stockard Channing also starring. Scott Rudin produced and Hugh Wilson directed; the film was distributed by Paramount Pictures.
Document 12: James &quot;Sonny&quot; Crockett: 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.
Document 13: Revenge of the Stepford Wives: Revenge of the Stepford Wives is a 1980 American made-for-television science fiction-thriller film inspired by the Ira Levin novel "The Stepford Wives". It was directed by Robert Fuest with a screenplay by David Wiltse and starring Sharon Gless, Julie Kavner, Don Johnson, Arthur Hill, and Audra Lindley. It is the first in a series of sequels inspired by the 1972 novel and the original 1975 film "The Stepford Wives".
Document 14: Supernova (2000 film): Supernova is a 2000 Swiss-American science fiction horror film written by David C. Wilson, William Malone and Daniel Chuba and directed by Walter Hill, credited as "Thomas Lee." "Thomas Lee" was chosen as a directorial pseudonym for release, as the name Alan Smithee had become too well known as a badge of a film being disowned by its makers. It was originally developed in 1988 by director William Malone as "Dead Star," with paintings by H. R. Giger and a plot that had been called ""Hellraiser" in outer space." Jack Sholder was hired for substantial uncredited reshoots, and Francis Ford Coppola was brought in for editing purposes. Various sources suggest that little of Hill's work remains in the theatrical cut of the film. The film shares several plot similarities with the film "Event Horizon," released in 1997, and "Alien Cargo," released in 1999. The cast featured James Spader, Angela Bassett, Robert Forster, Lou Diamond Phillips, Peter Facinelli, Robin Tunney, and Wilson Cruz. This film was shot by cinematographer Lloyd Ahern and scored by composers David C. Williams and Burkhard Dallwitz.
Document 15: Don Johnson: 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.
ground_truth: Don Johnson