mandamus lawsuit