ankrades i Gibraltars hafsbugt.