Despliega la Marina más de cuatro mil elementos para la ‘Operación Salvavidas 2018’