A history of geographical discovery in the seventeenth and eighteenth centuries