20170712 city.varanasi: Security beefed up in Varanasi after terror attack