what ships fall under the vettor pisani-class cruiser designation?
(AND boats.ship (JOIN boats.ship.ship_class m.0hr2csd))