Portugal y Andalucía Atlántica/El estrecho de Gibraltar