Hyper-Vを使ったdocker-machine上の削除できないDockerホストを強引に削除

#Hyper-VマネージャからDockerホストを削除するとゴミが残る
Windowsのdocker-machineでHyper-Vを利用してDockerホストを作成した場合、Hyper-Vマネージャ上にDockerホストのVMが作成されますが、この画面で直接VMを削除すると、dokcer-machineの情報と不整合が起こり、docker-machine lsで一覧に出るのにdocker-machine rmから削除できなくなります。
その他にもHyper-Vマネージャからいじると何らかのデータの不整合が起きてゴミが残る場合があります。
その場合、以下のフォルダごと削除するとゴミが消えます。
%USERPROFILE%\.docker\machine\対象のVM名
このフォルダにvhdやtlsのキーなどが入っているため必要に応じてバックアップしてから削除を行ってください。