A biographical sketch of the life of William B. Ide