WSJ: Gov’t Workers Outnumber Construction, Farming, Fishing, Forestry, Manufacturing, Mining, & Utilities Workers Combined