‘Good riddance’: Pentagon officials cheer Tucker Carlson’s ouster