was korean war a proxy war