7,000 grusarbetare i Ohionu