what ship is pete melvin credited with designing?
(AND boats.ship (JOIN boats.ship.designer m.025m1y7))