Principal Minerals Mined Here! Portland Cement Coal Gold Copper Magnesium What's Magnesium?