The Ninth of Av: Business as usual?

Should Jews commemorate the Holocaust on the Ninth of Av? The Israeli Knesset mandates a memorial day for the Nazi genocide of the Jews – Yom Hashoah.