end of world war 1