Title: History of the Herculean Straits, Now Called the Straits of Gibraltar : Including Those Ports of Spain and Barbary That Lie Contiguous Thereto