Military history of Korea during World War I