$1.3 billion Korean defense investment