"Stanislav Petrov saved the world,"