The Birth of OR in World War II