What to know about Trump national security adviser Mike Waltz's departure from the White House