Should the city of Muskegon give up on a dream of a downtown Indian casino?