`exec.state` is ordinarily updated in the `ExecutorStateChanged` message handler, but that isn't fired when we kill the executors.  As a result, killed executors were still marked as `RUNNING` in the master Web UI.