If a docker container was deleted, how do I remove the coder container? - Coder.com