devdeo singh