World War II: A short history, 4th ed.