What is the official nickname of the division of the United States Army that Francis Marshall served in?