Conversation so far:
When did Tyson start boxing professionally?
Tyson made his professional debut as an 18-year-old.

Question: Who did he fight in his debut?
Self-contained rewrite: Who did Mike Tyson fight in his debut?