Restablecido el tráfico marítimo en el Estrecho de Gibraltar