When did World War I officially end?