who was the opera company that came out with riders to the sea?
(AND opera.opera_company (JOIN opera.opera_company.operas_produced m.0y64d6x))