which ship was designed by john sharp?
(AND boats.ship (JOIN boats.ship.designer m.0cl5jwp))