Puerto del Rosario recibe con los brazos abiertos al Ocean Lava