I believe girls shouldn't be allowed to wrestle boys in High School?

I say this because I recently read our home-town undefeated 155 pound wrestler was pinned in the first round by a girl in a state championship. That hurts, it hurts for him, it hurts his male ego, his pride, and all he has accomplished. It would feel better if he lost to another guy, but not to a girl. The paper read he cried after the match. I hate that. Boys shouldn't wrestle girls, period! It would ruin his ego, and his manhood. It's not right. What do you think about this?