Scripps Institution of Oceanography. Library