the pump was used to raise water for the public baths