"[Tipu Sultan] also boasted about ‘the destruction in the course of this holy war of eight thousand idol temples, many of them roofed with gold, silver, or copper, and all containing treasures buried at the feet of the idol, the whole of which was royal plunder.’"