Judy Woodruff (Bloomberg News, PBS News Hour).