King Viraprathaba Devarayar and the tank built by him