The progress of maritime discovery, from the earliest period to the close of the eighteenth century