El submarino nuclear inglés Torbay hace escala en el puerto de Gibraltar