de Indias A. Título de Mariscal al Capitán Jorge Robledo. repertoriohistorico [Internet]. 17 de julio de 2020 [citado 23 de diciembre de 2024];45(257):18-9. Disponible en: http://68.178.206.226/ojs/index.php/repertoriohistorico/article/view/356