David Judd — British general