New type of prehistoric toothed dolphin discovered