the hms invincible is what ship class?
(AND boats.ship_class (JOIN boats.ship_class.ships_in_class m.01ktj_))