Haroun and the Sea of Stories (opera)