If you're talking about their nickname the "Red Devils" it came from their crest. If you look at it closely, it shows a yellow ship with sails and below it a red devil with a long tail holding a pitchfork. Kinda describes how ruthless they can be when they're in form =)