Benjamin Rodrigues-Henriques - 1769--1838; Rodrigues-Henriques, Benjamin