Was the Pinella County Public Water Supply [0]? The article didn't make it clear.

[0] https://mytapwater.org/pws/fl6521405/pinellas-county-utiliti...