what ship is ole aanderud larsen credited with designing?
(AND boats.ship (JOIN boats.ship.designer m.08ssb6))