Remember that Kenyan mall attack where some savage islamists stormed a popular Nairobi shopping mall, killing dozens of people and causing havoc for several days?