Did King David's army have 1000 Torah scholars per 1000 soldiers?