har fått underrättelse om att ryska pansarfartyget » Borodino » förolyckats i Koreasundet Hvarken japanska eller ryskabe¬