List of World War II military operations