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