Vargas, Woodruff to Anchor 'World News Tonight'