what ship class is the hms warspite?
(AND boats.ship_class (JOIN boats.ship_class.ships_in_class m.02x7223))