Population Size of Devils Hole Pupfish (Cyprinodon diabolis) Correlates with Water Level