How to kill an unresponsive Vagrant instance

I just tried to follow the instructions on VVV to install a WordPress development environment, but was not lucky. The ssh couldn’t connect and so even $ vagrant destroy could not complete.

It turns out you can kill an instance from VirtualBox like this: