Former Navy SEAL Killed in Libya, Was on Intel Mission to Track Weapons