Archivo General de Indias de Sevilla is not used in this library's catalog. Archivo General de Indias is used instead.

Try a search for Archivo General de Indias