The Rock of Gibraltar, a limestone promontory at the southernmost tip of the Iberian Peninsula, guards the 9-mile strait that…