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