de Indias, A. Título De Mariscal Al Capitán Jorge Robledo. repertoriohistorico 2020, 45, 18-19.