NBC: Labor Secretary Marty Walsh named executive director of NHL union