Their nickname `` Tiburones Rojos '' means red sharks .
Their nickname `` Tiburones Rojos '' means red sharks in English .