izzy is the mascot for what olympic game?
(AND olympics.olympic_games (JOIN olympics.olympic_games.mascot m.025z7j8))