Portrait of General Mariano Guadalupe Vallejo, about 1875