Mineral Industries Building (White Hall) Basement, West Virginia University