Are La púrpura de la rosa and Semiramide both operas?