Politics | Tue May 27, 2014 6:21pm EDT

White House investigates how CIA official's name released to media