Social media giant says circulating informant's identity violates its 'coordinating harm policy'; Twitter not removing posts naming the official