NBC: Czech Republic holds a national day of mourning for the victims of its worst mass killing