La Bahía de Algeciras, Gibraltar