where would you find the amusement ride in port aventura?
(AND amusement_parks.ride (JOIN amusement_parks.ride.park m.01hf5x))