સરકારે મંગળવારે રાષ્ટ્રીય શોક જાહેર કર્યો હતો.