Washington Irving, A History of the Life and Voyages of Christopher Columbus (New York, 1828), p. 74.