Should smoking be permitted in the Iowa City Ped Mall past 10 p.m.?