Charles Inigo Thomas — English civil servant