Did Twitter have foreign spies on its staff?