ernest thomas sinton walton