刘志丹将军，如果健在，1955年，到底会被授予什么军衔？