John Treverton , någon tid varit känd under namnet Chicot?