United States Holocaust Memorial Museum holds copies of Holocaust-relevant archives from Arquivo Naçional da Torre do Tombo