Mining department now officially the Robert M. Buchan Department of Mining