$RIVER ¿A qué hora se abre la Bolsa de Corea? ¿Quién sabe?