Empresas Tras comprar Lucasfilm, Disney recupera para Marvel los cómics de Star Wars que publica Dark Horse