Marvin, William, d. 1880.