Could a Computer Stop the President from Launching Nuclear War?