Destroy a mutex. If the mutex is not locked, it is destroyed and further
access yields an existence_error exception. As of version
7.1.19, this behaviour is reliable. If the mutex is locked, the mutex is
scheduled for delayed destruction: it will be destroyed when it
becomes unlocked.