John Stevens, capitán, traductor e hispanista inglés (¿? -1726).