Military history of Corea during World War II