Knives of the United States military: World War II