when did WWI officially end - Search