Proposed resolution:

Change [thread.mutex.class]:

class mutex {
public:
  constexpr mutex();
  ...