NBC News: Trump says he's 'not happy' with air traffic controllers who wouldn't work without pay during shutdown