Is Red PJ Mask a girl?

I'm curious to know, could you possibly clarify for me whether Red PJ Mask is actually a girl or not? I've heard conflicting information, and I'd like to get a definitive answer. Is there any official information or evidence that can help us determine Red PJ Mask's gender? I'm genuinely interested in finding out the truth, so any insight you could provide would be greatly appreciated.