The first mention of the name "Rajasthan" appears in James Tod's 1829 publication Annals and Antiquities of Rajast'han or the Central and Western Rajpoot States of India, while the earliest known record of "Rajputana" as a name for the region is in George Thomas's 1800 memoir Military Memories. What is another name for the Rajasthan region?