Edward Penton Thompson — British judge in India