Index of Gardiner's History of England
San Salvador,
captured by the Dutch,