John Johnson — American judge (1776-1817)