La Royal Opera House de Londres reabrirá sus puertas el 17 de mayo