Peñón de Gibraltar

Véase Gibraltar.