That the trustees of the University of Illinois be authorized and directed to establish, in the College of Engineering, at the university, a department of mining engineering.