REYES (pedro José).—Militar de la independencia.