Passage: Expectations for Tyson were extremely high, and he was the favorite to win the heavyweight unification series, a tournament designed to establish an undisputed heavyweight champion. Tyson defended his title against James Smith on March 7, 1987, in Las Vegas, Nevada. He won by unanimous decision and added Smith's World Boxing Association (WBA) title to his existing belt. "Tyson-mania" in the media was becoming rampant. He beat Pinklon Thomas in May by TKO in the sixth round. On August 1 he took the International Boxing Federation (IBF) title from Tony Tucker in a twelve round unanimous decision 119–111, 118–113, and 116–112. He became the first heavyweight to own all three major belts – WBA, WBC, and IBF – at the same time. Another fight, in October of that year, ended with a victory for Tyson over 1984 Olympic super heavyweight gold medalist Tyrell Biggs by TKO in the seventh round.During this time, Tyson came to the attention of gaming company Nintendo. After witnessing one of Tyson's fights, Nintendo of America president, Minoru Arakawa was impressed by the fighter's "power and skill", prompting him to suggest Tyson be included in the upcoming Nintendo Entertainment System port of the Punch Out!! arcade game. In 1987, Nintendo released Mike Tyson's Punch-Out!!, which was well received and sold more than a million copies.Tyson had three fights in 1988. He faced Larry Holmes on January 22, 1988, and defeated the legendary former champion by KO in the fourth round. This was the only knockout loss Holmes suffered in 75 professional bouts. In March, Tyson then fought contender Tony Tubbs in Tokyo, Japan, fitting in an easy second round TKO victory amid promotional and marketing work.On June 27, 1988, Tyson faced Michael Spinks. Spinks, who had taken the heavyweight championship from Larry Holmes via fifteen round decision in 1985, had not lost his title in the ring but was not recognized as champion by the major boxing organizations. Holmes had previously given up all but the IBF title, and that was eventually...

Question: Who did Spinks beat to become lineal champion?
Holmes