peremptory mandamus