Dittodus lucasi Hay 1900 (elasmobranch)