20170912 city.goa: A pond; temple & Portuguese-era railway station