Earthquakes and oil drilling didn’t damage historic West Texas swimming pool