Is a jewish monarch an obligation or optional (Mitzva or Reshus) ?