US Army use of 20-sided and 12-sided dice in 1922