How Rich is John Everett DeCoste?