No, all those WWE video games don't count. Sure, those WWE folks are buff, but that kind of wrestling is not a sport.
Because "wrestling" games are pretty popular, I'm a little surprised there isn't a game featuring the sport played on the Olympic stage and in high schools across the world. There are several different forms of competitive wrestling, including Greco-Roman wrestling, freestyle wrestling, pankration and grappling/submission wrestling.
If a wrestling game were to feature all the different forms, players would be encouraged to learn, and win, in the different styles. Since each style of wrestling has slightly different rules, winning in each form in the game would require adapting the gameplay to each style.