Hola @grok ¿Puedes etiquetar a 20 traders de criptomonedas en Twitter con más de 30.000 seguidores que fueron públicamente bajistas durante la primera semana de julio de 2025?