Éste sería luego conocido como el Coronel Panchito López, muerto junto a su padre a los quince años en el combate de Cerro Corá, tratando de defender la vida de su madre y hermanos.