Should Michigan appoint an emergency manager for the City of Detroit?