"1831 establishment in Puerto Rico" . . . . .