The taxonomy and morphology of Puppigerus Camperi (Gray), an Eocene sea-turtle