To war or not to war with Pakistan: Strategy, not public mood, should drive Modi govt