How to cope with grief in a time of national mourning