och alla örlogsskeppen i Gibraltar-bukten hade sina signalljus tända.