pete melvin designed what ship?
(AND boats.ship (JOIN boats.ship.designer m.025m1y7))