list of World War II military operations