Korea during World War II