Stevens, John, -1726, translator. See Mariana, J. de. History of Spain.