Descriptive catalogue of the documents relating to the history of the United States in the Papeles procedentes de Cuba deposited in the Archivo general de Indias at Seville