Geologic map and cross sections of the Coast Range ophiolite at Mount Diablo, Contra Costa County, California [cartographic material] Yale Public content