“Then King Solomon raised up a labor force out of all Israel; and the labor force was thirty thousand men.”