There will be a week-long public holiday and 40 days of public mourning will be observed, Iranian state media has reported ...