The common name for Cyprinodon diabolis is Devils Hole pupfish