Krigsfartyg hade utgått från Lisabon på kryssning,