Fetching details from the dictionary...
olive ridley sea turtle (Lepidochelys olivacea); Pacific ridley sea turtle; bastard turtle