Mandamus as a Means of Settling Strikes