Samtliga i Gibraltars hamn liggande örlogsfartyg,