An international day of mourning would be appropriate. (Everybody grieves differently, and it's no one's place to question others' traditional mourning rituals that may include dance music, booze, fireworks etc.)