Synonyms for marine_turtle