Conversation so far:

Question: where did the nickname red devils come from
Self-contained rewrite: where did the nickname red devils come from