In what year did the United States formally enter World War I?