Everybody knows WW1 was nicknamed “The Great War” or “The War To End All Wars”. Did WW2 have any similar nicknames?