Common name for a large sea turtle, named for the color of its fat, although the animal is brownish overall?