World War II, Korea veteran dies