This stronghold of Idres, the King of Cornwall, is in Totnes County.