20140507 news: Record 20;000 troops turn Varanasi into garrison town