Mining Stocks Are Historically Cheap