Ancient and Modern History of Gibraltar. With an Accurate Journal of the Siege of That Fortress, Feb. 13 to June 23, 1727. Tr. From the Spanish