Aperturas en la roca del peñón para los cañones, Gibraltar