AGI, Pasajeros, L.1, E.5252, [1534, to Nicaragua, son of Diego Sánchez del Castillo and María Maluenda, native of Alcalá de Henares] [not if he's from Sevilla]; Surname Castillo