Does Michigan's state flag need a redesign?