Military history of Korea during World War II