金门战役全军覆没，总指挥军长萧锋后来如何？55年被授予什么军衔