20170601 city.varanasi: A pool of fun for Banarasis