Pico, José Dolores, d. 1827.