The port of Cadiz, XVII – XIX centuries