Роскосмос временно официально изменил знак на красную звезду.