To view this video please enable JavaScript, and consider upgrading to a web browser that supports HTML5 video
La piscina cubierta del Palacio de los Deportes no abrirá hasta septiembre. Sin embargo, la piscina al aire libre abrirá el 1 de junio.