Warren Buffett: Could the US default on its bonds?