what was the class year of the man who became superintendent of the u.s. coast survey ?
1825