during world war two an italian destroyer was named antonio da noli