Wie viele Einwohner hatte Richmond, Virginia im Jahr 1742?