The common name for Lepidochelys olivacea is olive ridley sea turtle