Code name of American Ninth Army.