Armed CIA intruder shot dead by FBI is named by authorities