Delhi restores staff leave after tensions ease with Pakistan post 'Operation Sindoor 'and a brief military escalation