Map of location quotient of tool grinders, filers, and sharpeners by state, May 2023