Update cpp-mutex.rst.en