Experiments on the behavior of docker stop and docker kill commands