Is the red PJ Mask a girl?

I'm curious, can someone clarify for me - is the red PJ Mask character meant to be a girl? I've seen conflicting information and would like to get a definitive answer. It seems like an interesting detail that could add to the character's backstory and personality, so I'm eager to know for sure. Is the red PJ Mask a girl, or is there something else about the character's gender that I should be aware of?