Dallas health officials not worried about crypto spread after pool cleaned