what ship class is the hms victorious?
(AND boats.ship_class (JOIN boats.ship_class.ships_in_class m.08j1zh))