il cacciatorpediniere Andrea Doria, partito oggi a mezzogiorno dal porto di Taranto per la Libia.