Alumni Pond, Corona Pond, Estancia Pond, Perch Lake, Rancho Grande Ponds, Roswell Kid’s Pond, and Rio Grande downstream of Elephant Butte Reservoir.