alden j. “doc” laborde designed which ship?
(AND boats.ship (JOIN boats.ship.designer m.0sx4fhb))