john henslow is a designer for what class of ships?
(AND boats.ship_class (JOIN boats.ship_class.designer m.0286vdj))