“And king Solomon raised a levy out of all Israel; and the levy was thirty thousand men.”