Mapa topographico de los payses, y costas, que forman el estrecho de Gibraltar