NBC: Navy identifies two SEALs lost at sea during raid and later declared dead