Thermodynamic Properties of Thorium Dioxide From 298 to 1,200 °K