what is the name of the designer of thirteen
(AND amusement_parks.ride_designer (JOIN amusement_parks.ride_designer.rides m.080gdbm))