John James Allen — American lawyer and judge (1797-1871)