September 11 should become a federal holiday