Some copper deposits in the Old Hat mining district, Pima County, Arizona