West Side Market in Cleveland: City Council authorizes $10 million for repairs