金门之战失败的历史教训:海战和陆战完全不同