who was the ship designer who designed the class miracle?
(AND boats.ship_designer (JOIN boats.ship_designer.ship_classes_designed m.02rmypq))