Edward Higginson Williams — American professor of mining engineering and geology