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