Zwembad, vermoedelijk te Batavia