WASHINGTON (AP) -- Trump official: Rep. Mike Pompeo to be nominated for CIA director.This is a developing story. Please check back for updates.