Body of Vietnamese sailor killed in Red Sea attack repatriated