Military history of Carpathian Ruthenia during World War II