King David census