Devils Hole Pupfish (Cyprinodon diabolis)