El peñón y la mezquita, Gibraltar